The site will be unavailable from 2021-03-04T08:00:00Z for a Docker update, followed by a Discourse rebuild to incorporate the Memoir '44 dice roller. I estimate that this may take about half an hour. As always, check https://status.firedrake.org/ for updates.
No it wasn’t. Never mind. Stopping now. Either it works or it doesn’t.