To those of you in the US, Happy Labor Day!  To everyone else, please forgive the 1-day break.  Normal updates will resume on Wednesday.

“What the heck is Labor Day”, some of you ask? Let me tell you a story….