Gmail add-on to manage Rocha Issues
This is a Chrome extension, you'll need Google Chrome
- Copy manifest.json and content.js somewhere in your file system
- In Chrome, go to the extensions page (chrome://extensions/)
- Enable developer mode
- Choose "Load unpacked extension"
- Browse to the directory containing the two files mentioned above and cofirm
- Refresh the Gmail page
Now when you open a mail message, a link will appear to the right of the title that will automatically search for the issue.