I will be doing server maintenance today. The may be brief periods of server downtime and restarts. In that case don’t panic, grab some fresh air, and check back at a later time. Thanks.
I’ve now deployed a new version of the server. In case of glitches, please report here.