Forked from git.gnome.org/gnome-shell-extensions