Unless you want to do the "well actually GNU/Linux" thing Android is sufficiently different from most Linux OSes that it doesn't make sense to refer to them as

Unless you want to do the "well actually GNU/Linux" thing Android is sufficiently different from most Linux OSes that it doesn't make sense to refer to them as the same. For the longest time the Android Linux kernel actually had a distinct set of grpahics APIs from the mainline Linux kernel. Those have been merged back together and Android runs on the kernel.org kernel now (apparently Google is requiring this for new devices which is very nice, almost nice enough to convince me to buy a phone again.) When people say "Linux" they mean something that can run Bash and GCC in a VTE potentially (though not necessarily) with GTK or QT widgets and can be configured with ansible/Makefiles/RPM/bespoke scripts from vim.