> Another reason for changing the formatting is that there is a new > output format being implemented, to LaTeX. Should the 'flawed' > semantics be used for that new output format too, mimicking TeX > output even when it does not make sense?
IMHO, it's quite simple: All output formats, i.e., TeX, HTML, and the new LaTeX backend, should produce identical output if technically possible – and for LaTeX it's definitely possible :-) Anything else makes texinfo harder to use. Werner