CodeMirror 6 iOS Safari bug report