I’m expecting to do a major upgrade on this server on 14 July. As always, if the site is unavailable, keep an eye on https://status.firedrake.org/ for details. (Yes, I know that that itself is not the most reliable server.)
Oh no! It is the 14th now!
Happy Bastille Day, everyone!
All upgrades are done. The revolution was conducted over an encrypted link and will not be made public.