At the moment, if you updated the header in any way, you would have to copy and paste your changes between all of the different HTML files. It would be better to use a template engine such as Jinja to generate the final static HTML while using templates in development.