range of behaviors when typing addn char after "let x = 5 in|"

[disconcision]

as already reported, inserting an "o" after

yields

but then if you backspace away the "ino", and then type an "o", you get: