I second camarillobrillo. I know that "wait it out" doesn't really give you that satisfying answer but there have been many o' trolls that have come and gone when the satisfaction is gone and half of hubski has muted them. Mute, filter, hush and don't feed the trolls. Hubski strives for intelligent discussion and as dramatic and situations like this seem in the moment, they tend to end earlier rather than later.

There is one user in particular who is now incredibly active on reddit, always yelling about how awful Hubski. He (she?) was muted by 99% of Hubski due to consistently vitriolic and ignorant remarks. (S)he believes that muting will be destroy Hubski. I believe muting (or some form of it—none of us are under the assumption that every feature of Hubski is implemented with perfection) will save it in the end.

I have my personal, non-Hubski related beliefs on muting and think it should go further, but we have debated and discussed it and my views were aligned to those of the greater community. As a female...on the internet...who has been on the receiving end of targeted harassment....I am grateful for any and all tools I have to block out harassers.

But please, let's try not to have another scenario where all are feeds are filled with meta-discussions on moderation.

Here's some past discussions on ignoring (now know as "filtering", FYI) and muting issues that can provide further insight that may help you. Feel free to restart discussions over there as well if applicable.

Also, mk, can you confirm that if I mute someone and they respond to my comment on a post that is not mine, I do not get notified. I believe that should happen at the very least.