Endless apologies if you’ve posted a comment and it hasn’t appeared: I’ve just deleted 1,600-plus spam comments, and I may have missed a genuine comment or two. Sorry.