RT @HugoGiraudel: GitHub finally moved the + and - symbols from diffs to CSS pseudo-elements, making it possible to copy code directly fr…