Oh Yeah: it’s President’s Day

Today is President’s Day here in the US.  I know this because when I dismissed my final Friday morning class with my usual, “Have a nice…