A tiny repository to distribute a badge for linking to your extension on extensions.gnome.org - View it on GitHub