Userscript to add some minor additional functionality to Pivotal Tracker UI