I totally support an #howto:faq topic explaining how:
Works, problem is I don’t think there is any more to say than:
“Suppress all notifications from these users.”
That is pretty much all we do, no CSS classes, no removal of topics where OP is muted from topic list.
Perhaps someone wants to work on a FAQ that covers tag/user/category muting, cause that has enough meat to warrant a topic.