Server maintenance

There will be a short period of downtime on 2024-09-23 at 8am UTC for a server upgrade. It'll probably only be about 10 minutes, but might be slightly longer. Also, watch out for at least one more access code and some more content before the end of the current event.