Bump version number post-5.20

doc/manual.html

@@ -69,7 +69,7 @@
 <section class=first id=overview>
     <h2 style="position: relative">
       User manual and reference guide
-      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.20.0</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.20.1</span>
     </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in

package.json

 {
   "name": "codemirror",
-  "version": "5.20.0",
+  "version": "5.20.1",
   "main": "lib/codemirror.js",
   "description": "Full-featured in-browser code editor",
   "license": "MIT",