diff --git a/bin/release b/bin/release
index 4fac4f048513e250821207f196f82f565e6c6b86..3c33290f3fbd7ca4b4097893aa8932f38c808ac6 100755
--- a/bin/release
+++ b/bin/release
@@ -23,6 +23,9 @@ rewrite("lib/codemirror.js", function(lib) {
 rewrite("package.json", function(pack) {
   return pack.replace(/"version":"\d+\.\d+\.\d+"/, "\"version\":\"" + number + "\"");
 });
+rewrite("doc/manual.html", function(manual) {
+  return manual.replace(/>version \d+\.\d+\.\d+<\/span>/, ">version " + number + "</span>");
+});
 
 if (bumpOnly) process.exit(0);
 
diff --git a/doc/manual.html b/doc/manual.html
index 3452ed9db3e26d722cbb55851ad4111e6412c21a..5bc7154931607479eb6c2e9ffcf841a3e2907f2e 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -57,7 +57,10 @@
 <article>
 
 <section class=first id=overview>
-    <h2>User manual and reference guide</h2>
+    <h2 style="position: relative">
+      User manual and reference guide
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 3.22.1</span>
+    </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in
     Web pages. The core library provides <em>only</em> the editor