feeds fixed

One last bug from moving this blog to a new server was that the old feed URLs didn’t work anymore. That’s now fixed, so people who see this blog via RSS are about to get a flood of posts.