Of course you don’t operate the kernel, but the kernel operates the system.
My point is that there are many layers between the kernel and user and which you interact with depends on the person. The only common point between all these, at least for linux, is the linux kernel itself.
I get that the “axchually GNU/linux” is just a joke, but considering how much impact linux has versus GNU, it’s totally fine to omit it. You can totally just use busybox instead and you’re still using a Linux OS.
It really sucks cause their gamea are really good too and nobody else makes anything like that, so we’re stuck dealing with paradox’s crap. Same story with the total war games.