The server on which this board is hosted will be rebooted on 11 May at about 8am UK time. I’ll take the opportunity to install the new dice roller bot. As always, see https://status.firedrake.org/ for updates.
All done. Shiny new dice roller in place.