It seems that the page http://ddtp.debian.org/ is down. but the language specific pages: http://ddtp.debian.net/ddtss/index.cgi/pt_BR http://ddtp.debian.net/ddtss/index.cgi/fr etc... are ok. is this normal?