am 7d47fbf3: am d2242891: am e55d5e86: docs: change "android developer console" to "developer console"

# Via Android Git Automerger (2) and Scott Main (1)
* commit '7d47fbf346a31c07a403bf6898220e7e4045ed34':
  docs: change "android developer console" to "developer console"