"A single disruptive commenter (Zaid)"
And he is one of the top contributors. That doesn't quite fit the narrative that it was just some weirdo interfering.
According to github insights, he contributed 66 lines of code. I mean, it could be really valuable 66 lines, especially if he fixed bugs. Somehow I doubt it.
However, I'd get rid of this 'contributor' asap if I was a maintainer.