some edits to the content of the HTML files.