inform user if html5tidy is missing