Documentation/git-update-index: explain splitIndex.*