CodeMirror editor on Android randomly swallows typed characters

[vuk]

Happens to me when I type in English only.

I do indeed have the setting you mention: CodeMirror and text selection problems on Android