Comments are lines beginning with a hash mark (#),
XML-style comments (<!-- arbitrary text -->), and
unrecognized XML directives.
# this is a comment <!-- this is also a comment --> <?this is a bad comment ;->
This document was generated by Bruce Korb on August 21, 2015 using texi2html 1.82.