Anyone who's visited this site in the past year has no doubt noticed a pronounced lack of activity. We've decided to discontinue posting to this blog and concentrate on posts to our main website. We hope you'll visit us there.
By the way, this blog will stay up if you want to revisit old blog posts.
Added June 17, 2021: A copy of the blog has also been transferred to our main website here.
