On Thursday, May 30th, 2024 at 7:28 AM, Eli Zaretskii <eliz@gnu.org> wrote:

> Thanks, but please send it also as a patch, preferably in the form of
> "git format-patch", so that it would be easier to install.

Hopefully this time it'll get through.