On Sat, Apr 23, 2022 at 1:34 PM Lars Ingebrigtsen <larsi@gnus.org> wrote:
>
> Corwin Brust <corwin@bru.st> writes:
>
> I can update them

I did manage to find them;  a patch is attached.

Thank you Lars.