Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
As of 27. 05. 2014. See the latest version.
