Neat project, but hate the branding. Android is Linux. I think it's really important to recognize that. Linux is not just not the one traditional POSIX style system, it's a platform to build all sorts of systems, including Android.
Americans, Chinese, and Nigerians are all humans, but it's sometimes useful to subdivide the large group for the sake of reference. This is why we say Android and not just Linux, as it helps us avoid "which Linux is it?"