Add a menu for the options at the top of /docs/options.  Resolves #3.