Installed Drop Down Terminal, a gnome-shell extension for the quake-style terminals of yore.
ChicagoLUG, Carlos Solís, Stephen Compall likes this.
I've recently given up on quake-style terminals, because their focus style didn't suit my work flow but I do miss a single key press on demand terminal.
I've never really gotten much use out of them tbh.
But maybe this time!!!!