A library and program to validate and fix HTML
