Navigate through Extension Manager tabs via Ctrl-(Shift)-Tab

Now that we have three tabs, it's useful to be able to navigate through the tabs via Ctrl-Tab and Ctrl-Shift-Tab.
It's the shortcut used by browsers like Chrome.