Update HTMLBeautify.py