Ed White wrote:
So I think a possible correct version could be:"Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian uses the Linux kernel (the core of an operating system), but most of the basic OS tools come from the GNU project; the name GNU/Linux means that the system started out as GNU, with Linux added."
If "Debian GNU/Linux" means the system started out as GNU with Linux added later, then it's entirely wrong -- Debian has never released a system not based on the Linux kernel.
But hey, if you're seriously advocating we drop the GNU/ and just call it "Debian Linux"...
Cheers, aj