We are going to migrate the wiki to a new VPS as well. The migration will happen tomorrow, 21, around
6PM UTC. If there's any issue, the migration will be pushed to 22, same time.
I expect the migration to take around 1 hour, but it can be faster than that. During that time, the wiki
will be under maintenance.