Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Ajankohdalta 27.5.2014. Katso uusin versio.
