doc on html5-tidy