This is a follow-up on the previous post with the same title. So this morning my inbox contained a short email from Bhargav about a typo in the stacks project. I recorded the change here. As you can see there I (finally) figured out how to tell git who authored this commit. So from now on, if you email an improvement here, then you’ll end up showing up as the author in the git logs. (Apologies for those who’ve sent me typos etc in the past before I figured this out.)