[powerclue]

People using Linux as their desktop OS are using desktop Linux. What binaries they run on that OS doesn't change what OS they are running.

You've developed a "No true Scotsman" definition for desktop Linux that seems far from the common understanding that "if you use Linux as your OS on your desktop, you are a desktop Linux user".

If you feel your definition of purity tested "only Linux binaries or it doesn't count as a Linux desktop" is better, I'm not going to tell you you are wrong, just expect that you have a definition significantly out of the norm and will have a challenging uphill battle in getting others to adopt it.

[pjmlp]

It is called GNU/Linux for a reason.

[powerclue]

By an extremist minority, it is, sure.

[pjmlp]

A minority that does most of the work, without which you wouldn't be posting that comment from a GNU/Linux system, using a kernel compiled with GCC.

[powerclue]

Does most of the work to keep a Linux desktop developed? That's an incredible claim and needs a source. You might be able to convince me that most kernel developer impact comes from that community, but not the OS.