OK, once more I have worked through all the comments left on the Stacks project website since I did last time. Thanks to everybody.
One thing that’s different this time is that I have not updated the server with the corresponding changes over the last few days. This will happen at the beginning of the next week when we switch over to the new website running the Stacks project (thanks to work of Pieter Belmans and Raymond Cheng). I will write another blog post when that happens. For now, if you are interested in the tools we will be using, you can take a look at plastex and gerby-website.