Yup. I'm not from US. And also my name is uncommon too. Even in my country. You know what, I didn't see enyone who has my name so far. I think I have a pretty unique name..!
Great point BTW. EDIT : May be the writer of this article talking about operating systems based on Linux kernel and he called them all simply Linux as we all do.
Because we have lot of Linux distros lot better than Android. Debian, Arch, Fedora, Ubuntu, etc. BTW, there's is a Linux distro called Android x86 for PCs, based on Android.