[myztic]

A lot of userland-stuff is GNU, Linux is the kernel. Kernel + Userland is OS!

So saying "GNU ... is the operating system for just about every single server running Linux" does not make sense.

[nitrogen]

Don't start that again. The "GNU/Linux" vs. "GNU" vs. "Linux" argument has been going on long enough without resolution that it's pointless to rehash it.

[Rexxar]

I vote for LiGNUx. (Always add one more option when there is already a lot of confusion).