Git: diff algorithm.