* Henning Makholm: > In most places we already call our operating system simply "Debian". I > think we should just go through the website (and CD generation scripts > and such) and remove the few remaining references to "GNU/Linux". We'd also have to rename packages that use the term "Linux" in a non-descriptive way (linuxsampler, linuxtrade, and probably a few more).