Thanks - I've switched over from the original "QuickTabs" extension to avoid regular accidental tab closure when pressing F3. Using F1/F2 to switch tabs left/right is very handy.