Strange - after checking my list of muted users, both #nostrudel and #primal failed to mute this guy for me, and neither app gave me any sign of the failure.

nostr:note1azugmtu3gua75q2lhnx0nd3265mmktmczkuv98mttelue86pdfmqdx7dkq