On Tuesday 5th of February 2019 we have a scheduled downtime. The migration to a new server will start at 9:00am GMT and will be finished within 30 minutes. During the migration we will also update DNS records (domain name remains the same).
Besides upgrading to a more powerful server we will run several backends in paralel. It will enable us to prioritise the processing queue and we will be able to dynamically add more backend instances as needed.