Yo #mastodev, the github issues are a bit of a mess. Would it be helpful for me, a non-dev familiar with github, to go around tagging stuff and trying to create some order within the chaos, or would it be an intrusion and an annoyance?