Hello again! This is just to let you know that I’ve just finished working through the comments on the Stacks project and all (known) mistakes, typos etc are fixed. Thanks for all your help! Please go back there and find more.
Also, please let me know if you or somebody else have helped out in the past and we’ve forgotten to add your or their name to the contributors list. It seems idiotic, but it turns out it is actually kind of hard to keep track of everybody who is helping out (and in some sense we still do not have a really good way to do this). Any suggestions on how to manage this are very welcome too.