Highlight GitHub: Extract Diffs from Pull Requests