Removed html_tidy docs.