August server maintenance

I am about to power-cycle the server in order to apply a kernel update. Downtime is only expected to be a few minutes.

Update: The machine is now back up. Downtime was approximately 2 minutes 17 seconds. Notes on the process can be found here.