New command: hexstream-html-doc-strip.