TIL. Thank you.
edit: although now that I think of it, I suppose a "typo" distance is something of a weighted Levenshtein