Well, this is disappointing. I wrote out a whole post and it disappeared when I tried to post it. I will try again later. Sigh.