chrismwendt
1 extension 0 users in all First published 7 Jul 2017
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 |
|---|---|---|---|---|---|
| GitHub reactions minimap | Developer Tools | 21 | 5.00 | 22 Mar 2026 | Removed |