True... it's not enforceable, but it's an indicator to extension authors that they should avoid using an API. It's like calling things on `_codeMirror`.