OK, as promised here this means a party! It will be at my house on Saturday evening. Drop me an email if you are in town and I’ll give you directions, etc. See you there!
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.