xmllint --html programma.html >programma.html.xmllint.html