"Keyboard Shortcuts" (so you can swiftly take care of extension shortcuts straight from the Plugins menu) Shortcut to the "Elements" website page (which changed the first plugins web site a while back) "Global permissions" -- to allow/block plugins globallySoon after activation, you’ll generally be redirected to your plugin’s configurations web