Work around LaTeX2HTML comment-handling bug.
1 file changed