Tree-style tabs + Colored Tabs extension is a joy to use. You'd think that Tree-styled tabs would not play nice with other tab extensions but the author makes l

Tree-style tabs + Colored Tabs extension is a joy to use. You'd think that Tree-styled tabs would not play nice with other tab extensions but the author makes large efforts to interoperate.