Does the mute user list function as an ignore list? If not, can this be implemented? If I copy a users name to the list, I am presented with a list of names other than the one I want. (a spammer). Why aren't spammers banned?
Discourse is what it is. I can continue to follow flags and ban people as they come up, but they will be taken on a case by case basis.