Dead link on DDP page

["m.v.wesstein" <m.v.wesstein@hccnet.nl>]

Hello

I 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