Re: a couple of people....
Unless, of course you include all the Linux Kernel users (notice that this is on topic!) - Android is not much of a desktop, although it can be made to work, sorta.
I'm referring to Google Chrome OS, which works well enough for us (and gazeeellions of others it seems), so long as one improves the storage on the ChromeBook/Box. USB3 sticks are pretty effective for that, we find.
It's surely true to say now that most of the Linux kernels crafted by Linus T and his team are installed in something other than a regular GNU-Linux distro.
Pretty surprising....