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