Bah, and the text about the linux kernel needs to be changed, perhaps: "Debian can use the Linux, NetBSD, or Hurd kernels, but most of the basic OS tools come from the GNU project; hence the GNU prefix" (not sure about the NetBSD port and GNU/Linux will have to be written down somewhere) Also, the page title will have to change; I like the title: "The Debian Project - The Universal Operating System"