Update escape_html.py