Server migration

Everything was planned and executed perfectly..

.. except that now, we need to wait for our provider to reroute our old IP addresses to the new server, manually.

So much for one hour of downtime. We will be back tomorrow.