Clean up and test generate_html_file().