December site maintenance

The site will be rebooted shortly to apply some maintenance updates to the server. Downtime is expected to be somewhere between 2 and 10 minutes, depending on whether a full file-system check is required or not. (It's been 52 days since the last reboot, so it is quite possible that an automatic, full check will be triggered.)

Update: It's back up now. In the end downtime was 2 minutes 17 seconds.