Reddit’s campaign against hate speech worked