Oh, I don't discount that! That's why I find it important to specify GNU/Linux. Not only is it respectful, but it makes the very important distinction that it is a Linux system running a GNU userland instead of a plan9 one or a busybox one. Usually when people speak of "linux" they're referring to GNU/Linux though