This would be a better answer if it was more explicit about what diff-index is (and is not) doing and how it's using the index file to optimize. Basically sum up your comments and add them to the answer.
↧