I took it that one reason for jimmiet giving the name was in order to cut short this guessing game that was starting up, with people speculating who it was who'd had enough, and suggesting possible names. That could rapidly turn ugly.

Every now and then we get these nasty little attacks of in-fighting, sort of a feeding frenzy. Then they die away. I share bbc's hope that, when it's passed, valued friends who've had enough of it will come on back.