OK, I went through all of the comments and we have a brand new version of the Stacks project. The last time we did this was on June 6, 2024. We now have more than 650 contributors. Enjoy!