A userstyle to make GitHub diffs more compact · HackerTrans