fantastic efforts, however bear in mind that although the notion of distance was defined by Levenshtein, the algorithm was not:

The minimum edit distance algorithm algorithm was named by Wagner and Fischer (1974) but independently discovered by many people (see the Historical Notes section of Chapter 8).

See slp of Jurafsky