Various utilities regarding Levenshtein Automata and related.