I think it'd be useful for all those acronym completion scripts if $strip had an extra property which would remove unecessary codes.

So, if two letters have control codes which would make them the same, the codes on the second letter would be stripped.

Maybe $strip(text).extra ??