A userstyle to make GitHub diffs more compact | Dark Hacker News