> `CodeMirror.on` also does DOM handler registration (in an IE-portable way), by the way.

Thanks, this is very good to know.