To use these add-ons, you'll need to download Firefox.

Log in
Extensions by Mike Crittenden
  • Shortkeys (Custom Keyboard Shortcuts) for Firefox

    Shortkeys (Custom Keyboard Shortcuts) for Firefox

    Easily customizable custom keyboard shortcuts for Firefox. To configure this addon go to Addons (ctrl+shift+a) ->Shortkeys ->Options. Report issues here (please specify that the issue is found in Firefox): https://github.com/mikecrittenden/shortkeys

    Peter Malecka

    9,059 users

  • GitHub Username Highlighter

    GitHub Username Highlighter

    Highlight arbitrary usernames on the GitHub merge queue

    Mike Crittenden

    1 user