Renamed some files and replaced run_html_render.py with the proper one.