Yet again, the servers were moved. Let's hope this is the last time, and that there is no further downtime.