Note: this post was meant to be published long ago, and I just saw that it was still in draft form, so I’m releasing it now, even though it’s primarily old news.