On Tue, Oct 13, 2026 at 05:14:43PM +0100, Gavin Smith wrote: > > Other than those messages, there is need for a change to the Texinfo > > manual, I will probably start to do what I can on that. > > I have been planning to work on the manual on this area.
I've done some work on this but I have a lot more to do on this as it will likely involve reviewing several different parts of the documentation.
