Hey!  There's probably a bunch of us toiling away in the blessed peace and
quiet of mainly deserted campus.  This has been one of my most productive
weeks of the year!

Happy Holidays.

 ============================================================================