I won’t name him, but one of the people leading the harassment campaign was banned a few years ago from Magic the Gathering after, among other things, targeting a prominent cosplayer and causing her to leave the community (she has since returned, to much rejoicing).