It's such a hard problem to solve. Any solution I can think of is problematic. Even community mute lists could be use nefariously.

Is it naive of me to think that these people will soon lose interest or otherwise grow up? But, (I argue with myself) what if every time a user matures, we get a new user who is yet immature?

I think a platform that sacrificed anonymity would have more options for quelling this type of behavior. I want a platform in which no person is anonymous, but I also want a platform in which every person is anonymous - so I'm torn.