as recommended at https://cr.yp.to/proto/replyto.html, give the
highest priority to the Mail-Reply-To header when determining the address
of the author of a message.

Similar changes to ReplyAll are complicated enough to deserve a separate
patch.