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?