lib/codemirror.js missing from GitHub

I have downloaded the zip from GitHub but the lib/codemirror.js is missing - only the codemirror.css is in that folder. Has something changed or is the implementation code in your manual out of date?

Cheers
Greg

The github repository isn’t the way to get the library. Get it from the zip file on the website or from npm, or, if you clone it, build it yourself with npm install.