HelloI found the link to http://manpages.debian.net/cgi-bin/search_man.cgi on the page http://www.debian.org/doc/todo#ideas to be dead. The server http://manpages.debian.net works as it displays the default Apache notice.
Regards, M.V. Wesstein the Netherlands -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

