validate, correct, and pretty-print HTML files