This is pretty great, but it would be way more useful if it worked on diffs in the discussion and diff sections of pull requests. Nice work though. Edit: I've

This is pretty great, but it would be way more useful if it worked on diffs in the discussion and diff sections of pull requests. Nice work though. Edit: I've opened a couple pull requests against your repository. One allows highlighting on pull request pages and the other makes some minor improvements to the build script.