[codemirror] better lazy loading