My mate is 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.)
All done. And it’s conveniently beer o’clock.
Just out of curiosity, is that ever not convenient?