texinfo documentation for the GNATS bug reported system