>>2018724I get how you feel /g/, and thanks for clarifying this stuff. I didn't know that the kernel is one thing and the interface stuff was a separate thing.
Still, GNU/Linux doesn't have a strong PR going for it, and the distinction is too much for your Average Joe - three OS type things is enough as it is. I think I once thought Ubuntu and Linux were different things when I was still a completely illiterate Windows user.