Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Per 27-05-2014. Zie de nieuwste versie.