diff --git a/lean-toolchain b/lean-toolchain
index c51720493..0ebb579f8 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-10-17
+leanprover/lean4-pr-releases:pr-release-15682-f65bf27
diff --git a/reference-manual/Manual/NotationsMacros.lean b/reference-manual/Manual/NotationsMacros.lean
index 203cc7f2a..f01cb11f4 100644
--- a/reference-manual/Manual/NotationsMacros.lean
+++ b/reference-manual/Manual/NotationsMacros.lean
@@ -1200,14 +1200,6 @@ info: TSyntax `str
 info: TSyntax Name.anonymous
 ---
 info: Syntax.TSepArray `num ","
----
-info: Syntax.TSepArray `num ","
----
-info: TSyntax Name.anonymous
----
-info: Syntax.TSepArray `num ","
----
-info: Syntax.TSepArray `num ","
 -/
 #check_msgs in
 macro "gah!" thing:str other:(str <|> num) arg:num,* : term => do