How would you punish a player?

I feel like sometimes just simply reporting a player isn't enough. I'm sure we've all had that one player who wont shut up, or consistently feeds, just in general makes the game feel like watching someone psychically assault your relative. I would not normally post on this board however I will feel let down if some players who generally deserve punishment are left to walk away only to offend again.

But in my case for someone to mock you when you're feeling tilted by saying :

"maybe you are just bad" " i think you should ****** end to your life" "suicide isnt suche a terrible thing you now" " im just kidding actually" "enjoy your life, well, if you don't suicide before the end of the day"

I have removed the users name, also text was not changed. Now for me I personally do not want our community to be tainted with behaviour such as this. If it were up to me I would perma ban this person but I know that's not how it works, sadly.

So here is my question, how would you punish a player, not just this guy, but any player if you were able to. Maybe its time we have a marker to indicate a toxic player? I'm interested in what you guys think.

I would also like to know what action would be taken for a scenario such as my own, and because I would like some closure on this. As far as I see it, pressing the report button isn't enough for me as I feel like most of the time nothing happens.