I'm using this with the CSS hacks to customize the userChrome, and it's a much better web experience than default browsers. This extension is pretty neat, and does what's needed without using too many resources or getting in the way.