[ropeladder]

Tree style tabs works as well as it did before, except that it's more difficult to get rid of the top tabs.

[yoavm]

Check out my userChrome changes if you're into vertical tabs and a minimal UI: https://github.com/bjesus/fireside