[Bug 1252130] New: Review Request: gnome-shell-extension-drop-down-terminal - Drop Down Terminal