It’s MLK day. It’s a firm holiday, we’re not supposed to be here, but we are. But since it’s a holiday, rather than write a substantive post (that’s work), we thought we’d take care of some other business.
First, our sharp-eyed readership has probably already noticed, but there’s been a minor site change. The