[The problem is now fixed–you can comment on the previous post. All my fault, but I assure you unintentional. I’ll leave this post here as a tribute to my fallibility.]
For some reason you cannot post comments on my last post. This is not my choice–I might have done it accidentally, but certainly not on purpose. I’m in a rush and cannot figure out how to fix it, so I invite you to post your comments here. Sorry about that.