Like the title says, this user has been frequenting the subreddit, only to post derogatory remarks which don't actually contribute anything productive to discussions on this subreddit. It's become clear they are not here for any purpose other than to incite anger in our users, and we've received multiple requests to get rid of them. But, this subreddit always has been and always will be a subreddit dedicated to its users, so I'll leave the choice up to you. Should we go ahead and ban this user?