Learn more about these different git repos.
Other Git URLs
79e3975
Rebranding: change UI-facing icons (but not the extension's name yet).