/pkgs/desktops/gnome/extensions/pop-shell/