Muting a conversation, there's a control.
Except -- it doesn't work as expected. As shown by a recurring problem, undesired notifications showing up, and their dot menu controls show an UnMute Conversation.
Signifying, it's supposedly *Muted*, already.
But. Notifications keep coming. Argh.