The site will be unavailable from 2020-10-23T07:00:00Z for a server reboot, followed by a Discourse software update. I estimate that this may take about half an hour. As always, check https://status.firedrake.org/ for updates.
I’ll start organising the beers…
Oh dear can someone sort extra bacon butties for Feral please?
And apologies for not doing that for him myself
Thank-you Feral Techie