Not that we know of. You might try asking on comp.compilers.
This document was generated on November 4, 2011 using texi2html 5.0.