https://mammothboss.pages.dev/posts/why-is-android-named-android-/