Added F12 keyboard shortcut for "Options" menu item