They wouldn't ban somebody for being a target of other people's bad behavior. My guess is that they didn't ban him, but I wouldn't blame him for going someplace else with less trolls. I don't see why people want to make trouble for each other when there's so many resources here to keep them happy and occupied.