fix options.html comment. untabify.