Brief downtime - 2023/06/11 20:00 UTC

Hey all,

Had to do an emergency migration to a more powerful server to cope with increased traffic.

Apologize for the ~8 minutes downtime, but we're back up!