The Tab Mix Plus extension has a gem of a feature buried deep within the settings: The ability to turn the Ctrl+Tab key from a direct tab switch into a popup menu that works similarly to the Windows Alt+Tab feature.