A Google Chrome extension for getting to a Trac ticket quickly