As an aside: I personally have no use for unicode for bash commands, and the potential for sneaky maliciousness worries me. Does anyone know of a way to automatically strip (e.g. with tr) all unicode away when pasting into a terminal?