@SharpCheddarGoblin yep :( well, this is why it is a cautionary tale for maintainers, I suppose.
A disturbing thought: it's not like we can control what GitHub shows us as a "contributor". If one day Microslop decides to consider PRs, comments or issues as "contributions", it might not be even possible to completely defend from having this label - as long as the project is hosted on GH.
やれやれ、this whole thing is such a... Betrayal of the FOSS?