Although I agree with jgc that banning is deserved here, I don't think there's any need for it. The community's condemnatory reaction to lionhearted has so far

Although I agree with jgc that banning is deserved here, I don't think there's any need for it. The community's condemnatory reaction to lionhearted has so far been appropriate, and I think it will be effective in deterring similar bad behavior in the future. If I'm correct about this, it's a better outcome than a ban. Let banning be reserved for those who either don't care about the approval of their peers, or who are too oblivious to adapt to social cues.