13:38:47 RT http://twitter.com/HugoGiraudel" target="_blank" rel="nofollow">@HugoGiraudel: GitHub *finally* moved the + and - symbols from diffs to CSS pseudo-elements, making it possible to copy code directly fr…