Extensions shortcut

An extremely lightweight extension (only runs when used) which lets you specify a custom keyboard shortcut which opens the extensions page. If turned on in the options, this extension will check if you already have an extension page open and switch to that one instead of opening a new. Because it is an option you don't have to trust this extension with a dangerous permission if you don't want to. Extension icon by Ganeshk (derived from "Wiki puzzle.svg") and Mysid (derived from "Insertpad.svg") both licensed under GFDL (http://www.gnu.org/copyleft/fdl.html) or CC-BY-SA-3.0 (http://creativecommons.org/licenses/by-sa/3.0/), via Wikimedia Commons.