linux (plural) is a family of operating systems built on the linux kernel, no?
i think we’re both correct here 🤔
Discussion
I’m pedantically correct & you’re practically correct.
It’s the innermost program of the GNU operating system that now has 1000 different offspring all collectively referred to as Linux, but differentiated via distribution names. Ubuntu, Debian, Arch, whatever.
It’s a meme now
It gets even more annoying than these: 
semantics
Ah but what is life if not the finer details 🤓
hmm, maybe
i guess we love creating problems, sides and turn them into cult like followings over the tiniest of details, such as if you call it Linux or GNU/Linux
romantics