onsdag den 21. december 2022 13.24.26 CET skrev Carlos E. R.:

> On 2022-12-21 12:32, Mark Hounschell wrote:

> > How does one unsubscribe from this list?

> >

> > Thanks

> > Mark

> You have to look at the "hidden" headers of the list email, as has been

> so for decades.

There is a friendly wiki page for it also :-)