There was an outage today for unknown reasons from about 4:00pm to 7:00pm when we restarted the webserver. I’m looking into possible causes, but it certainly wasn’t traffic (traffic is very low during the holiday break, especially on holidays). Thanks to Sherry for notifying me of the downtime.
On the bright side, this will almost certainly be the last outage of the year!
Sorry for the downtime and thank you for your patience.