doc-nohtmlremove.patch