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

