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 :-)