update to v138

Author: eigilnikolajsen

404.html

@@ -19,7 +19,7 @@
         <style>
             @font-face {
                 font-family: "CommitMono";
-                src: url("/src/fonts/fontlab/CommitMonoV137-VF.woff2");
+                src: url("/src/fonts/fontlab/CommitMonoV138-VF.woff2");
                 font-style: normal;
                 font-weight: 400;
                 font-display: swap;

index.html

@@ -1197,7 +1197,7 @@ <h2>Programs used</h2>
             <div tabindex="0" id="block_tab_end"></div>
         </div>
         <script>
-            const versionOfCommitMono = "V137"
+            const versionOfCommitMono = "V138"
             let fontsLoaded = false
             const commitMono = new FontFace(
                 "CommitMono",