Be more careful about modifying options.html.