Clear old data out of tabs before switching to them - makes things a lot faster because the browser doesn't have to render both the old and the new data.
trunk/jscoverage.js