Eli Zaretskii <eliz@gnu.org> writes:

[...]

> Manuel, would you please post a complete patch, with the corresponding
> log message, so we could install this?

Sure.  Here it is.
-- 
Manuel Giraud