Yes, it’s a little short, but it’s also a holiday week, and given the length of my weekend, I’m apt to get a lot of story done before Monday night (when I’m going to type the next entry, going by prior patterns). Happy late Independence Day to you Americans.