:Support. If you look at http://en.wikipedia.org/wiki/List_of_Linux_distributions by far the most distributions (including the popular Ubuntu) are derived from Debian, and from the Debian website itself (http://www.debian.org/intro/about) "A large part of the basic tools that fill out the operating system come from the GNU project; hence the [name]: GNU/Linux". If proponents (such as SudoGhost) for keeping the article title as "Linux" based solely on what it is commonly known as, then maybe they should be arguing for a change to "Ubuntu" instead, because a lot of sources simply refer to the Ubuntu OS as simply "Ubuntu" without any reference to Linux at all. GNU plays a vital part alongside the kernel in most distributions, and that the Debian project acknowledges "GNU/Linux" has more credibility than whatever supposed common name these proponents claim is in use. Even if a reliable source can be found that claims common usage of "Linux" over "GNU/Linux", the sources claiming otherwise are far more credible (the Debian project). Editors like SudoGhost should get off their soapbox and stop reverting edits without justification or consensus.