/pkgs/desktops/gnome/extensions/drop-down-terminal/