Extension OPTIONS page, including set new keyboard shortcut