I was banned for pointing out there's no such thing as a "special" Linux kernel that's outside the GPL.