Server relocation complete
Reconfiguration done for the day. Thanks for your patience!
We've finished our server move and reconfiguration, and all services should be running again normally now. Please drop us a line if you see any problems. We had around 55 minutes of downtime during the move, which is quite a bit longer than we had intended — our sincere apologies if this has affected your work.