> The page
>
> https://lilypond.org/doc/v2.23/Documentation/notation/writing-text.html#text-marks
>
> is missing some backslashes in the box [...]
>
> 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?
I can confirm this problem with a local build; it seems indeed to be a
bug in the old texi2html version, which swallows backslashes in
`@warning{...@code{...}...}`. Alas, I don't know how to fix it.
Werner
