mschu [1] filed an orphan request for gnome-shell-extension-drop-down- terminal-git [2]: Last updated 2016, I commented with fixes to the package in 2018 and March 2020. No response to comments or to an additional email I sent to maintainer a week ago. 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-g...