> Any thoughts on this?
Just provide a patch on the development repository at this point. It is easier to discuss specifics with concrete material. The contributor's guide has all you need to know, and feel free to ask for assistance with Git, Texinfo or anything. Thanks in advance. Jean
