Update HTMLStrip.py