Unexpected outage

The server was down from about July 5, 2017 11:30AM PDT to about July 6 8:15AM PDT. I rushed off an apt-get update and didn’t check its results before rushing off to something else. Sorry for any inconvenience!

I’ve set up monitoring with Uptime Robot to notify me about any future outages so you won’t be sitting in the dark.