More documentation related stuff.  Translating from DECdocument to
Docbook and rearranging everything is a big task.
Typo, so we weren't actually calling gexit().