Oops!

In case you were wondering what that was all about: no, I didn’t get hacked. There was a little web server misconfiguration for the last 18 hours or so, but it’s sorted now.