Holiday

It's a holiday, and I have a ton of work to do for the day job and outside projects.  So things'll be pokey around here today and back to the regular schedule on Tuesday.