Bill Cole wrote (at 8:42 on 31 Jan 2019): > That's odd, because the documentation for muting does not say anything > about muting being tied to sender addresses. > https://manual.mailmate-app.com/organize#muting Nevertheless, it's true: it happened with a new thread just this morning, prompting my question.