If this drives away lots of users of that subreddit, it may well be the case that Reddit becomes less representative (of drastically unpleasant people) and more

If this drives away lots of users of that subreddit, it may well be the case that Reddit becomes less representative (of drastically unpleasant people) and more cohesive. So, good to see it go.