include version information in HTML output