On Thu, 19 Jul 2012, Jed Brown wrote:

...

...

This is what I do for myself [with pine]

Doesn't solve the problem because the user still has in their header the developers email address.

For one - my replies [with pine] don't have that. Secondly - even if the developers email address is there - it shouldn't matter. We are primarily concerned with users using 'reply' command from their e-mail client. And it will honor 'reply-to:petsc-maint'. If the user is explicitly manipulating headers by other means - we can't [and shouldn't] be attempting to control that. Satish

This is something that a developer using certain hosts can do to make the issue moot, not something that involves the user.