Typos, some rewords, and highlighting in Levenshtein docs