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

# Via Android Git Automerger (4) and Scott Main (1)
* commit '23becda5d008bfe64a9b101e6967d96d4ece8d0e':
  docs: change "android developer console" to "developer console"