A note to the regular commenters: I just upgraded my commenting account, which means you now can post longer comments. The previous limit was 1000 characters; now it’s 3000. This also rids us of the ridiculous ads. I do this because I love you. Carry on.