November site maintenance

The site will be rebooted shortly to apply some maintenance updates to the server. Downtime is expected to be only a couple of minutes.

Update: The maintenance is now finished; downtime was just under 10 minutes (slightly longer than expected because a routine disk scan kicked in as the server hadn't been rebooted for around 59 days).