Not surprisingly, my flurry of postings in the small hours contained lots of typos. I think they’re all fixed now. Thanks to Casual Savant for spotting a couple—but not all of them, smartypants.