*Rolls up pedant sleeves*
Android is the most popular OS, and yes, it is Linux. It doesn't matter if "the Linux users" think it is. Because this definition of "Linux users," pre-excludes the Android users. Which is silly. Android users *are* Linux users, so their definition of if Android counts as Linux is equally as valid as the desktop Linux users who fight with their printers.
Sort of like how most gamers in the world are women and they game on Android.
I'm 1/N