Thanks for reporting this! In general, if something on the maemo.org infra is down (or just misbehaving), it would be best to file a bug about it. And for fast reaction, make sure to ping our helpdesk as well.