On Thu, Aug 22, 2024 at 10:32:05AM +0200, Patrice Dumas wrote: > Hello, > > Here is my proposal: > > Does it look ok?
Here is a commit that 'implements' that proposal: https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=e142a9015c7b403b10207f77acacad72a88d01ef -- Pat