https://steemit.com/steemit/@l0k1/petition-for-the-mute-button-to-actually-hide-posts-from-muted-users

Please join me in this campaign, and promote this to your associates who agree with this. It is sorely needed, not now, 4 weeks ago it was already overdue. The implementation of the mute function is insulting to the very definition of the word. Mute means silent, not quieter. Quieter also can become more noticable.

Anyone who didn't notice that at the bottom of this post is a lot of hidden posts due to reputation scores should be alerted to this fact. Trolling is a big problem here. I'm not saying solve the problem for everyone, merely empower users to filter their feed of whosoever they deem to be trolling. The temptation to get into fights over it disappears then.