leanprover-community
Suggestion to add Link to Open new Issue on every page
I would have submitted corrections more often and more early if there was a link on each page, preferably putting some identifier of the page I was at into the issue subject automatically (that should be possible, I hopeguess).
You could even phrase it as "Is anything unclear even with hints? Do you find any mistakes or maybe confusing parts? Open an issue here" to encourage people to flag content that is harder to understand than intended.
If you are talking about NNG: The entire game is being rewritten right now; I guess I would be in charge of dealing with these issues, and right now my response to all of them would simply be "please wait until about October 16th by which time we will have released a complete rewrite of all the levels". I am well aware that there are plenty of unclear things on the version deployed on the web right now :-)
If you are talking about the German game then that's not my business :-)
That's a good idea to add such a link. We'll probably do this when the games developed converge to a more stable version
I accidentlally created a very closely related issue at #227:
It would be nice to have a button in each level that automatically creates a new question on Zulip:
in the new members stream a title that contains the game/world/level a spoiler block with the currently entered code.