mschu [1] filed an orphan request for gnome-shell-extension-drop-down- terminal [2]: Package is not working with current gnome-shell, whereas up-to-date version (24) is. Package was last updated 2017, out-of-date marked 2018, sent an email to maintainer 7 days ago w/o answer. I would like to adopt and maintain this. [1] https://aur.archlinux.org/account/mschu/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-drop-down-terminal/