Crud. Outsmarted myself, again.
Several commenters yesterday got a “your comment has been moderated” message because of a stupid error on my part. The good news is that it’s now fixed.
The bad news is that your comments weren’t moderated, they were junked. I sincerely apologise. Please feel free to re-comment, or not, but that won’t happen again.
And feel free to comment.