I get a lot of junk mail recently that is not caught by the thunderbird junk filter / only gets the junk flag but is not moved to junk folder even though that setting is enabled. These mails are trivial to identify: they’re all with the same display-name
"Ariel Sanders <firstname.lastname@example.org>"
Arial Sanders is always the same,
<email@example.com> changes arbitrarily).
Is there a way to filter for this? sender filter seems only to take the username@domain part into account.