Was actually already upstreamed long ago, I should update CodeMirror.