Update and rename dev/options.html to options.html