Any questions?

Some of the comment threads here are now four or five years old, and it can get tedious to wade through them. So I changed my settings: comments will now close after one month.

And for the coming month, this would be the logical place to raise questions stemming from my old posts. I look forward to seeing them.