I agree. I see the Mute button but it seems easily defeated if the muted person leaves and comes back. User °Indy (not you, Industry) lost his mind during a standard political flame-war, and began psychotically insulting my 2-year-old daughter and my wife. I'm a bit of a troll myself, but, I'm always into the halfhearted generalizations and absurd nonsense, nothing menacing and never threatening... and never aimed at another myther's family or children. So I muted him and he kept rejoining to defeat the mute, if it even worked.
I'm told he also went by "Psalm" and "Judgmental Illness" but whatever the case, he did not let up. A permanent mute would be amazing!