renaming and pretty printing HTML files

pretty-printed some HTML files