Here's a weird thought. What if the reason that Google is changing the name from android to Android is that they plan to trademark Android™️ for use on the official Google version of the OS and leave the lower-case android to the open-source community?