UI Options does three things:

• places a preferences editor dialog with a set of six panels in a collapsible panel at the top of the page, accessible through a button in the upper right corner of the page;
• instantiates a cookie-based Settings Store for storing the user's preferences; and
• acts upon the user's preferences.

UI Options is a convenient way to add a simple separated-panel preferences editor to any page.