One more thing: comments on this blog are not moderated; so you don’t need my permission to publish yours here. I have never deleted any comment before, no matter how harsh it was, and I hope I’ll never have to (although that seems impossible these days).