Re: To all who wish to unsubscribe

> On 20 Nov 2017, at 20:11, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> Those looking to unsubscribe should also read that page. Sending
> "unsubscribe" messages to the list will not accomplish anything
> except to annoy the rest of the list membership.

I imagine that some people might think along the lines of: "Annoy them enough, and someone will do something about it".

And they could be right too, as no doubt some subscribers might figure that sending an auto-reply to any unsubscribe message to the list to the person in question - perhaps with an explanation of how to unsubscribe properly - would make that person use the correct method for unsubscribing rather sooner than later.

Please, as tempting as that sounds, be gentle to the list server and do not do that.

Alban Hertroys
--
If you can't see the forest for the trees,
cut the trees and you'll find there is no forest.