Just an old code munger.
I’ve been hearing this debate for nearly 32 years. It’s a useless argument.
The correct name for the # symbol is “octothorpe,” but how many people do you know who call it that? You’ll either hear it called the Pound sign (by us older folk) or the more modern Hash mark.
The fact is, Linux is both a kernel AND an OS.
Only Stallman fanatics and newly minted Open Source/Free Software initiates are that pedantic about it.