Update docs: codemirror options