Auto-refresh the HTML pages, to make it easier on people who are using the web-based output.