We’ve already done the better part of a month of celebrating, but we’re going to do the family stuff today and tomorrow. And as always, getting ready is both fun and time-consuming. Haven’t had a chance to write in the last couple of days. One of these years I’m going to remember to just eliminate the second half of December when figuring out my schedule. I’m looking forward to hitting the revisions again the day after Christmas, but I’ve lost some time, and quite a bit of work remains. In the meantime though, Merry Christmas to those of you who celebrate Christmas, and joy to everyone. And I’ll be back regularly after the first of the year.