This is the 5000th post in the history of this blog. Thanks so much, everyone, for reading all of 'em.