remove old version of codemirror, to prevent confusion