Reformat HTML files.