" 

 == Linux, GNU, etc. == 

 Please bring up the changes you want to make on the talk page for the Linux article - the existence of an operating system called ""Linux"" is already hotly debated there, and the consensus so far is that ""Linux"" is any operating system using the Linux kernel - including Android, WebOS, and other distributions which aren't GNU/Linux operating systems.   "