Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Versão de: 27/05/2014. Veja: a última versão.