> please see the attached files for a test case, [...]
Thanks, looks good.
> What I did not test, however, was texi2html-1.82.
Well, it will take some time until we can move on to a newer version,
so this has to be tested, too.
> So I would vote to make
>
> @noindent
> [Version string if needed]
> @verbatim
> ...
> @end verbatim
This is OK with me. Thanks for working on this!
Werner
