Search toolsQuick Tabs PortedKevin JonesPorted version from the Chrome extension Quick Tabs, with a few small tweaks. Their description reads: A keyboard centric most recently used (MRU) ordered tab list plugin with search and switch functionality inspired by IntelliJ IDEAScreenshots from Mozilla Add-ons