I'd suggest not adding data to the output formats unless there is a real use for it.
The purpose of the XML format is to provide a maximal representation of the Texinfo input. There is no "use" for XML beyond that. k
I'd suggest not adding data to the output formats unless there is a real use for it.
The purpose of the XML format is to provide a maximal representation of the Texinfo input. There is no "use" for XML beyond that. k