A drop-down terminal for GNOME. More information: https://github.com/Guake/guake.
<F12>
<F11>
<Ctrl Shift t>
<Super x>
<Ctrl PageUp>
<Ctrl Shift l>