Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Från och med 2014-05-27. Se den senaste versionen.