Happy Labor Day!

Hi all,

It’s Labor Day here in the United States, so things will likely be on the quiet side today. I’ve posted a “From the Editor’s Desk” editorial for Premium members, which I’d normally skip on a Monday holiday, but this one has been sitting ready for a few days and I didn’t want to hold onto it for another week. And if anything important happens, I’ll be all over it. But otherwise, enjoy the day off, which is sort of the unofficial end of summer here, regardless of the calendar.

Thanks!

Paul