Fix docsetutil-wash-html-tags and docsetutil-fulltext