I have added a menu to the top of every page now:

However, the options item is not functional. I was wondering if anyone had any ideas as far as configurable settings goes:

• What settings do you want to be able to configure? For example, perhaps it would be nice to be able to add extra languages to the search list or to disable certain features?

• How should these settings be stored? Should I continue using cookies, or turn to HTML5 local storage? Any thoughts?