mschu [1] filed a deletion request for gnome-shell-extension-drop- down-terminal [2]:
incompatible with recent gnome; last update 6 years ago; I am the maintainer [1] https://aur.archlinux.org/account/mschu/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-drop-down-terminal/
