Toggler Toggle GNOME Terminal via a keyboard shortcut https://extensions.gnome.org/extension/6063/toggler/