I belatedly realize that almost everything I said in this thread was wrong, but it’s too late to delete it! The HN edit rules are cruel.