GitHub repository: org-acidburn0zzz/gnome-shell-extensions
Description: A collection of extensions for GNOME Shell (forked from previous repo on git.gnome.org)