Holidays!

This time of year it’s hard to find the energy to do much of anything, blogs included.  So I’ll just post some holiday cheer:

–Simon