(This post was empty before. Second time this weekend something weird has happened with WordPress. I hope that’s going to be fixed with the code change they’re talking about.)