Add more documentation for Levenshtein automata.