- Added doc for make_html, cleaned up diagnostic html stuff so that it outputs file (by default) to a subdir, and more importantly can handle the html files living in a directory outside the current working directory.