Earlier quoted context omitted.
It's not clear what you are curious about. You can run GNU/Linux with out of tree modules (e.g. proprietary nvidia graphics driver). That doesn't change the fact that you're running a (now probably tainted) Linux kernel. I don't think anyone is thinking of a GNU/Linux desktop environment when they think "Android runs Linux!", they are quite literally thinking "Android uses the Linux kernel." They are not wrong.
Of course. I wasn't talking about the population of HN, I mean it in a broader sense, people who know GNU/Linux is a thing but don't know or care enough to realise the differences. I'm curious about what is there to celebrate in some huge corp using some free software in a completely cornered use that gives little to no freedom to its users. I'm sorry if my points are not clear. As it has been evidenced english is no…
Huge amount of money poured into development of said opensource software - including the patches in the article you're commenting on.
Major opensource projects are (and have for years) receiving most contributions from developers in Microsoft, Google, Intel, RedHat, Pivotal, and many others.