Makes github full width in a few views, and makes PR diffs easier to browse
As of 18. 08. 2015. See the latest version.
These are versions of this script where the code was updated. Show all versions.