Drop-down terminal for GNOME
https://otsaloma.io/gaupol/
gnome shell extension for selecting windows in overview mode with arrow keys
https://otsaloma.io/nfoview/
Gnome Music