[texi2any 7.2]
Consider the following example file `menu.texinfo`.
```
\input texinfo
@node Top
@top Top
@menu
* Foo:: Foo foo foo.
XXX @var{yyy} ZZZ
* Bar:: Bar bar bar.
@end menu
@node Foo
@chapter Foo
Foo
@node Bar
@chapter Bar
Baz
@bye
```
If I process this with
```
texi2any --html -c FORMAT_MENU=menu menu.texinfo
```
the menu comment in output file `index.html` gets formatted like this:
```
<pre class="menu-comment-preformatted">
XXX <var class="var">yyy</var> ZZZ
</pre>
```
Why `<pre>`? I consider this surprising since the item description of
a menu entry (i.e., the third part of an entry) is not output with
`<pre>`.
Werner
