Initial work on a write-up of the diff algorithm