I mean.. isn't that what was supposed to happen?
Discussion
Nah, the expectation is that only things that get rendered as text should be muted. If a mentioned vanity pubkey contained a muted string by some odd chance, should the note also be muted?
And should it not apply to just the word as is? Prefix/suffix matches should use wildcards imho.
See: Scunthrope problem