Document the Diff algorithm

We often refer to it but never did actually explain it.