Bug#585033: www.debian.org: intro/about improperly mentions the Hurd as the 'primary' non-Linux kernel

[Damyan Ivanov <dmn@debian.org>]

Package: www.debian.org
Severity: normal

Here's the current text (http://www.debian.org/intro/about.en.html):

    Debian systems currently use the Linux kernel. Linux is a piece of software 
    started by Linus Torvalds and supported by thousands of programmers 
    worldwide.

    However, work is in progress to provide Debian for other kernels, primarily 
    for the Hurd.

The kFreeBSD port seems quite more alive to me than Debian/Hurd. Perhaps it 
deserves a mention as the 'primary' non-Linux Debian port?


Thanks.