Now that login keys persist, the options can be put on a separate page. An as-yet nonfunctional layout for options.html has been added.
John "Elwin" Edwards