> The Steam Deck very much runs Linux Desktop. Android runs the Linux kernel, but everything else is different.
Linux is a kernel.
Linux is a kernel.
The point being that “Linux Desktop” means something more than “runs the Linux kernel”.
Not sure what your point is?
Though, I guess outside tech circles, people will just talk about Linux as the whole desktop OS. E.g. our municipality was promoting installing a Linux distribution to save Windows laptops after the Windows 10 apocalypse, and they just call it Linux.
Even Wikipedia says: Linux (/ˈlɪnʊks/ LIN-uuks[15]) is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991, by Linus Torvalds.
The only reason "ChromeOS" isn't considered Linux in this dataset is because Chrome has a flag that removes Linux from the user-agent on certain systems. If we were talking about Linux on the desktop casually, or were compiling a dataset through some other means where the kernel is a known quantity, we'd most certainly include said systems.
This. It actually surprises me that it's apparently not entirely clear for everybody.