Yes, I wrote it like this to be clear that I mean the Linux kernel and the GNU userspace

I don't think RMS reads HN.