Planning on getting back to working on alloydocs this summer and updating it with Alloy 6 (finally!) Are there any other topics you’d like to see covered as either reference material or as tutorials/topics/examples/etc?
My take on situation:
Don’t put your effort into the documentation nobody will read. Focus on popularizing Alloy to generate activity instead. People will tell you what they don’t understand, then you can document that