/pkgs/desktops/gnome-3/core/gnome-shell-extensions/