Programming note: Monday is MLK Day in the US.  As such, I have a holiday from work, and according to the rules I set out for myself, I get the day off.  I’ll be enjoying my time away, and I hope you all do as well.  Regular posting returns on Tuesday.  And now for today’s […]