Rework of the html/w3 checker.