Mike Crittenden
3 extensions 100,015 users in all First published 9 Jun 2012
Extensions are grouped by the store's own publisher account ID, so a developer who uses several accounts appears on several pages. Live extensions come first, most users first.
| Extension | Category | Users | Rating | Updated | Status |
|---|---|---|---|---|---|
| Shortkeys (Custom Keyboard Shortcuts) | Workflow & Planning | 100,000 | 3.40 | 19 Mar 2026 | Live |
| Bufo LGTM | Developer Tools | 13 | 5.00 | 8 May 2024 | Live |
| GitHub Username Highlighter | Developer Tools | 2 | – | 2 Aug 2024 | Live |