Thinning out README for GitHub lengths