I figure since we’re all in one place now, I can ask feedback on this! I’ve been working on some online documentation for Alloy that we hopefully want to make official at some point in the future. I’d love feedback on what it needs or what can be improved! Link is alloy.readthedocs.io/.
You’re also more than welcome to contribute things you think would be useful! Repo is https://github.com/hwayne/alloydocs.