Oh, you're right–that seems to be what's happening. I checked messages sent
_only_ to the list, and they have the headers as expected. Unfortunately
Gmail is still not showing the expected 'Unsubscribe' UI–no doubt part of
their continuous A/B testing or something.

Regards,

Yawar

On Mon, Jan 4, 2021 at 4:08 PM Philippe Wang <mail@philippewang.info> wrote:

> By any chance, did you check only for an email that was sent to both
> the list and your gmail address? In which case, GMail merges the
> different emails into a single email, so it could totally lose some
> information.
>
> I just checked for my present account on its GMail web interface and
> the list-unsubscribe header is present.
>
> Cheers
> Philippe Wang
>
> On Mon, Jan 4, 2021 at 11:42 AM Yawar Amin <yawar.amin@gmail.com> wrote:
> >
> > Actually, this is puzzling indeed–I notice there's no 'List-Unsubscribe'
> header in the messages that reach my Gmail inbox, but it _is_ present in
> the message that gets archived at e.g.
> https://inbox.ocaml.org/caml-list/CAH=h3gEOoMUBezUb3NoXvksX34ke3etP8=aScYeCzRc9p-ehrg@mail.gmail.com/raw
> >
> > And in fact Gmail is not showing the 'unsubscribe' UI that it normally
> would if it found the 'List-Unsubscribe' header. Looks like something is
> stripping out the 'List-*' and perhaps other headers before delivering them
> to Gmail.
> >
> > Regards,
> >
> > Yawar
> >
> > On Mon, Jan 4, 2021 at 1:33 PM Xavier Leroy <Xavier.Leroy@inria.fr>
> wrote:
> >>
> >> On Mon, Jan 4, 2021 at 6:28 PM Yawar Amin <yawar.amin@gmail.com> wrote:
> >>>
> >>> Perhaps this mailing list can be configured to automatically add (to
> each message) instructions for unsubscribing? I.e. go to
> https://sympa.inria.fr/sympa/signoff/caml-list , enter your email
> address, and click to unsubscribe.
> >>
> >>
> >> This used to be the case, but such rewriting of messages was causing
> problems with DKIM and other email integrity checking scheme.
> >>
> >> So, currently, we're just relying on subscribers to not be stupid and
> not send "unsubscribe" messages to the whole list.
> >>
> >> The proper "List-Unsubscribe" header is added to every message, and a
> working e-mail client should take advantage of it to offer an "unsubscribe
> from this mailing-list" option.
> >>
> >> Regards,
> >>
> >> - Xavier Leroy
> >>
> >>>
> >>> Regards,
> >>>
> >>> Yawar
> >>>
> >>> On Mon, Jan 4, 2021 at 11:58 AM Van Chan Ngo <chan.ngo2203@gmail.com>
> wrote:
> >>>>
> >>>> Unsubscribe
> >>>>
> >>>> Sent from my iPhone
> >>>>
> >>>> > On Jan 4, 2021, at 11:44 AM, Adam Johnson <adamjohnson@nhyne.dev>
> wrote:
> >>>> >
> >>>> > unsubscribe
>
>
>
> --
> Philippe Wang
>    mail@philippewang.info
>