As most of you have noticed, there was no downtime yesterday. The planned migration blew up due to organisational issues with the DNS setup for our domain.
These problems have been resolved over night, but we have not agreed on a new date yet. Maybe we will do it on short notice.
Thanks for your patience.
— Brutus5000