Chrome Extension that provides tweaks to the pivotal tracker site.