Petition for the "mute" button to actually hide posts from muted users.

I was feeling pretty vulnerable and hurt last night. I am not one of these triggered weak people from the modern system of education with their microaggressions and obsession with egalitarianism. I even got into this pickle because I dared to point out that another user was trolling, and the fact that nobody was acknowledging that this was valid, even after I caught out the most egregious violator of common decency literally dishing out insults involving mothers - well, I don't know about you but I wonder in which culture the relationship between child and mother is not regarded as sacred, in the Bulgarian language, for example, the worst insult is 'go fuck your mother' (Ebi ci maikata).

Now, I am not making this petition because I want to argue that people have some right to shut other people up, or worse, punish them. I just want, as the rightful owner of my computer, to use an interface that actually lets me filter out the rubbish that I don't like. The argument that people should 'put up with it' cos 'it makes you a man' holds no water because why do these people in question then not accept that they should not have any choice about what comes up on their screen at all, indeed, what is the whole fuss about this computer thing at all, if it is not about having some control over what comes up on your screen?

It may well be that this kind of thick skinned, mostly gentlemanly way of dealing with these types worked when Steemit was small, but if it is going to bring more people on board, and not continue to stagnate, it is going to need a way for the often more sensitive types who artists often tend to be, to have a way to filter their feed. I am still keen to get into the process of writing an application interface that enables this function, and I think that there could be further extensions including deprecating (lowering the position on the page) of people who follow those you mute, and similar kinds of reputation and opinion filtering algorithms.

It does not have anything to do with the underlying algorithms that seek to make consensus. It is about empowering people to control what their computer uses its time to display, it is a matter of freedom, not of butthurt sensitive feelings, triggering and microaggression.

Please upvote if you think that the web interface mute button should completely hide posts from users you have muted. It is not a big addition to the code of the interface.

In fact, is this interface on a github somewhere? Can I put this program onto my local machine, and run a modified version? I would be most happy to root through the code and find that mute algorithm and make it disappear posts completely, it's just one little DOM attribute.

Please, for the love of God, don't take this opportunity, you know who you are, to continue your ongoing campaign of hurling insults. It only makes you look bad in the bigger picture. I just want what is on my screen to be civil and have the choice to decide what I consider to be civil, and absolutely nothing to do with imposing this view on others.

edit: I have looked and sure enough there is a github repository for the code for the site. I am going to dig through it and find the section with the script for muting, make the edit, and submit it for inclusion in the repository.

edit2: i looked a bit further and searched the repositories and I cannot find it.

edit3: I found the script involved in this function, it lives here: https://steemit.com/assets/app.f7fe7f9885b48b6954d1.js

This is not in the repository. Clearly we are at the mercy of the developers with this issue.

I am focusing on developing a Gnome3/Python3 interface. All you suckers who don't run linux about now is the time to start thinking about making a change.