June server maintenance

The server was just power-cycled in order to apply a kernel update. Downtime was about 135 seconds, by the looks of it.

I made notes on the process here.