Ehemm... ping? Could please somebody say whether any changes are required in the CGI script for packages.debian.org to point to manpages.debian.net? Regards Javier