one person being so difficult that he has pretty much personally caused a few projects to begrudgingly concede that they need moderation guidelines in their github/community, just to ban him 

 Ok. Sounds plausible. Guess half an hour was enough to spend on that. Nothing to see here. Back to work ...