Opera extension for automatically collapsing groups of tabs when they don't have focus.