The site will be unavailable from 2022-11-03T09:00:00Z for a Discourse version version update. I estimate that this may take up to half an hour, but probably less. As always, check https://status.firedrake.org/ for updates.
Please don’t reply to this topic.