OK, I’ve worked through your comments and made changes in the LaTex. Later today I will update the Stacks project so the changes will be reflected online too. Thanks to everybody.

Also, we’ve reached 6000 pages which means we’re going to have a party soon (similarly to when we reached 5000 pages). Keep watching this blog to learn more.