I've turned off that old server. If you're missing something, ping me and I'll dig it up.
Complaints to @steike or @steike.