Vacation

I'm going to Italy for ten days, we're leaving this afternoon. So there will be no updates or comment moderation for a week and a half. Not that anyone's even using the internet between Christmas and New Year's, but I thought I should make a note of it.