Update lang_html.py