update_html.py: comment some variants