Sure that is covered here:
I find that folks that grate on “one person” typically grate on a lot of people though, to the extent that they become a net negative for the community. It’s really unusual to see an isolated, personal jihad between two users that isn’t the result of at least one of those users being fairly disruptive to the entire community as a whole.
