Alloy is a lightweight formal specification language. Such languages are completely different in style and way of thinking than programming languages. We've been using SO to answer many questions.
However, the need arose to discuss & showcase larger models instead of code snippets that didn't work as expected. Code Review seemed very applicable so we decided to use this.
However, when we tried to use the Alloy tag, immediately people started policing it. Often in a way that made it clear they applied ideas of programming languages. For example, models are usually much smaller than a programming source. Other issue is that a model can be correct but still can have discussions about its behavior.
This way the people that I'd asked to put their model on codereview moved away, disgusted by the aggressive policing. Making me look bad for proposing it.
I understand that some moderation is necessary. However, also moderation needs to be done in moderation. Especially with a new tag it is necessary to allow a community to find its footings. Feedback is of course always welcome but some humility from the moderators would be welcome.
In this case, there is no trolling and people were seriously trying to use the codereview site. This way of moderating has chased away some good people now. And I do not think that that is the intention of this site.
So the basic question is, how do I oppose these moderators?