reloading the minimized library for codemirror: regression corrected by marijn