[RFC] A huge problem with Github diff

[angel]

There are people who actually like it the way it is.
And you still can clone the GitHub repository to a local machine, 
and use your favorite toolset.