Michael Niedermayer via ffmpeg-devel (HE12025-10-16):
> for this https://ffmpeg.org/contact.html#MailingLists
> 
> you can add it to git@ffmpeg.org:ffmpeg-web
> you should have write access

Hi. Thanks for the reminder. It is not easy to add usefully, but I can
propose the attached patch.

> for https://lists.ffmpeg.org/mailman3/lists/ffmpeg-devel.ffmpeg.org/
> iam not sure where to change that

Alas, that would be the place where it is most useful.

Regards,

-- 
  Nicolas George