Backslashes in @warning

[Jean Abou Samra]

The page

https://lilypond.org/doc/v2.23/Documentation/notation/writing-text.html#text-marks

is missing some backslashes in the box "Note: Older LilyPond
used the [\]mark command ...". On the other hand, the corresponding
PDF https://lilypond.org/doc/v2.23/Documentation/notation.pdf
is fine. The corresponding Texinfo source is

@warning{Older LilyPond versions used the @code{\mark} command for
text marks, even though it is primarily intended for rehearsal
marks (@pxref{Rehearsal marks}).  The @code{\textMark} and
[...]

and the definition of @warning in macros.texi is

@ifhtml

@macro warning{TEXT}
@html
<div class="warning">
@end html
@strong{Note:} \TEXT\
@c keep the space for proper nesting of </p>

@html
</div>
@end html
@end macro

@end ifhtml

@ifnothtml

@macro warning{TEXT}
@quotation
@quotation
@cartouche
@b{Note:} \TEXT\
@end cartouche
@end quotation
@end quotation
@end macro

@end ifnothtml



I don't immediately see what this discrepancy could be caused by,
apart from a bug or limitation of texi2html 1.82.

Can this be worked around somehow?

Thanks,
Jean