Vacation!

I’m off on vacation later today, so don’t expect any updates for a week or so. Then I will be back having hopefully made it through some of the stack of books I have packed. I always pack far too many books on a trip for fear of not having enough to read.