[done] moving to a new server

Hey friends,
we will start to move to our new machine at 10pm.
This may take until 11pm and shouldn’t take longer.

The server is back since 11:01pm - have fun!
Maybe we need to restart it in the next days to finish some migration things, but all seems good until now :slight_smile: