actually use tidy-html5