Not sure whether this is a good idea: allow arbitrary substitutions in addition to nearby character substitutions.