Sorry about the downtime yesterday, folks. The server rebooted while I was out of town and something went amiss. It’s fixed now and I’ve patched the problem that caused the reboot, so hopefully it won’t happen again.