1 correlation in lines between the two versions of the diff (which is certainly true fordiff-highlight; I don't know enough aboutdiff-so-fancyto say more there). Without that correlation, all bets are off (because git can do stuff like hunk-splitting, and needs to split the user-...