am 9d167eaa: docs: another string change for developer console bug: 8033647

* commit '9d167eaa7d43f7fb4a0dd77f0cbd8f09b566df4c':
  docs: another string change for developer console bug: 8033647