We’ll be rebooting the server on which this board is hosted at about 8am (UK time) tomorrow. I may do an update of this forum software at the same time. This might take up to an hour.
As always, keep an eye on https://status.firedrake.org/ for any updates.