Update

Just a quick note: I found a few days ago that a whole lot of comments were awaiting moderation, some going back almost a year. I'm very sorry: I didn't realize I had fallen down on the job.

I published all the comments that weren't obviously spam. Thanks, everyone, for your patience!