@Gargron No, I'd expect to mute exactly the posts of that account. But I'm also technically inclined, so I tend to ascribe hard definitions to those action words in a UI.

However, it would be a nice convenience function when the UI would ask me on muting whether I also want to filter all toots mentioning that account (and in reverse on unmute).