@eloquence Totally agree, but even if we stick to being pedantic with names...
I find the "GNU/Linux" name totally pointless. GNU tools are just tools, not the integral part of the operating system. In theory, you could build the Linux kernel with clang, use some non-GNU shell, use musl or LLVM libc and in general get rid of GNU toolchain. These are just fricking tools you can choose. ?♂️
So the fact that RMS pushes so much for the name is ridiculous and proves his narcissism.