diff --git a/book/.verso/verso-xref-manifest.json b/book/.verso/verso-xref-manifest.json
index d927854..f6a54d9 100644
--- a/book/.verso/verso-xref-manifest.json
+++ b/book/.verso/verso-xref-manifest.json
@@ -1,7 +1,8 @@
 {"version": 0,
  "sources":
  {"manual":
-  {"updateFrequency": "manual",
+  {"updated": "2025-10-16:12:58:47.024355000",
+   "updateFrequency": "manual",
    "shortName": "ref",
    "root": "https://lean-lang.org/doc/reference/4.23.0/",
    "longName": "Lean Language Reference"}},
diff --git a/book/FPLean/Examples.lean b/book/FPLean/Examples.lean
index 2613db3..f1e6381 100644
--- a/book/FPLean/Examples.lean
+++ b/book/FPLean/Examples.lean
@@ -159,7 +159,7 @@ block_extension Block.leanEvalSteps (steps : Array Highlighted) where
   toTeX := none
   extraCss := [highlightingStyle, evalStepsStyle]
   extraJs := [highlightingJs]
-  extraJsFiles := [{filename := "popper.js", contents := popper}, {filename := "tippy.js", contents := tippy}]
+  extraJsFiles := [{filename := "popper.js", contents := popper, sourceMap? := none}, {filename := "tippy.js", contents := tippy, sourceMap? := none}]
   extraCssFiles := [("tippy-border.css", tippy.border.css)]
   toHtml :=
     open Verso.Output.Html in
@@ -263,7 +263,7 @@ block_extension Block.leanOutput (severity : MessageSeverity) (message : String)
         pure <| .seq #[← go b, .raw "\n"]
   extraCss := [highlightingStyle]
   extraJs := [highlightingJs]
-  extraJsFiles := [{filename := "popper.js", contents := popper}, {filename := "tippy.js", contents := tippy}]
+  extraJsFiles := [{filename := "popper.js", contents := popper, sourceMap? := none}, {filename := "tippy.js", contents := tippy, sourceMap? := none}]
   extraCssFiles := [("tippy-border.css", tippy.border.css)]
   toHtml :=
     open Verso.Output.Html in
diff --git a/book/lake-manifest.json b/book/lake-manifest.json
index 3c1ebdf..2587717 100644
--- a/book/lake-manifest.json
+++ b/book/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a54297313f81c9243c4e8c1e72270c1f7681f0f0",
+   "rev": "38b11d9518e544b08b5b27e91197dfdb2b86690a",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/book/lean-toolchain b/book/lean-toolchain
index fd384f2..58ae245 100644
--- a/book/lean-toolchain
+++ b/book/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.24.0-rc1
+leanprover/lean4:v4.24.0
\ No newline at end of file