those files were moved, but this reference wasn't changed. it may not actually matter because codemirror-compressed is included on all pages (and that file includes the addons as well). but just in case, better to point to a file that exists.