Add tidy-html5 formula.