CodeMirror version: 6.5.3

Release date: Sept. 14, 2023