For example, if the user tends to browse 'new' mostly and there is a new annoying user clogging the feed posting repeated garbage over and over a "mute user" option clears that up
You are basically advocating to turn the New Feed into Personalized Feed.
Well, I'm not so sure about that. What exactly is the personal feeds algorithm anyway? I mostly always browse by new and I wouldn't mind being free to remove clutter
