Family vacation

I’m going to be taking some vacation time (not that you’d notice too much difference from my recent rate of posting). Don’t expect much activity here until after Labor Day.

Comment spammers: have at it. I’ll delete your comments later…