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

Reply via email to