On Mon, May 27 2019, David Bremner <david@tethera.net> wrote: > The name "header-mask" is a bit generic, but I don't have my head in > this topic like you do. I was thinking of something like > "replaced-headers", but it's only a mild suggestion. I think the point is that the headers are more accurately "masked" than "replaced", since you can look under the hood and recover what the original header was. _______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch