Learn more about these different git repos.
Other Git URLs
3e4daa2
Add a human-readable label to widgets, and use it in the UI