This document was generated on a sunny day using texi2html.