Vacation

I’ll be on vacation all of next week, so don’t expect any posting here until Jan. 6.