Fixing up old blog posts and finding typos that are 15 years old. But it’s fixed now so that is a good thing.