Fix Android builds on hosts using AGP 9 built-in Kotlin, and reposition
the docs around code push / OTA updates.

See CHANGELOG.md for details.