Rewrite options.html. This only partially done.