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 March 3, 2023. We now have more than 600 contributors. Enjoy!