I have to apologize to everybody who’s been unable to visit my blog the past week or so. There’s been some downtime, but I hope that the issues are sorted out by now. Here’s the story behind the outages. The whole summer I’ve been planning a major overhaul of the servers I’m running in the [...]