Re: [help-texinfo] IXIN 1.7 available

[Karl Berry]

    I have added a SXML backend based on the XML one.  
    texi2any --set SXML=1 myfile.texi

1) maybe the name should be IXIN rather than SXML?  I thought SXML is
just a generic name for XML written in sexprs.  Or am I wrong?
(For the same reason, we should not have named the "TexinfoXML" output
just "XML", but it's too late now.  Let's not compound the mistake.)

2) Should there be an --ixin option, like all the other output formats?

3) Should we add this to the documentation and make it an official part
of 5.0, or do you (both) think that is still premature?  I don't mean
that every detail has to be nailed down and put in stone, but rather
that the basic idea of "IXIN output" be mentioned.

k