Warp, REPL, and diacritics

I’d almost forgotten

:grinning_face:

1 Like