Earlier quoted context omitted.
Which is exactly why people here talk about "Linux Desktop". Linux is a kernel, Linux Desktop is some flavour of a full OS made to run on a PC, as opposed to e.g. embedded Linux or a Linux server. Not sure what your point is?
Yeah, but ChromeOS is just as much "Desktop Linux" as Fedora Workstation.
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.