Convert to Go modules.  Bug fixes to HTML output.