Server migration complete
In the early morning of September 26, 2020, our migration to new servers was completed.
Things seem to be working as expected, but if you notice any issues,
please vistit this thread for more details