Updates the README with more information about what Levenshtein transducers are