For once the algorithm didn’t let me down. I read the rant about an editor (you, perhaps) and then saw this post a minute later.