extract the html stripper to html-jsdump.py
omit ASCIIHex decompress failed & empty script