tool/tasks/update_example_html: tweaks