diff --git a/Manual/Releases/v4_33_0.lean b/Manual/Releases/v4_33_0.lean
index c16e70a34..8b994a222 100644
--- a/Manual/Releases/v4_33_0.lean
+++ b/Manual/Releases/v4_33_0.lean
@@ -15,17 +15,12 @@ open Verso.Genre
 open Verso.Genre.Manual
 open Verso.Genre.Manual.InlineLean
 
-#doc (Manual) "Lean 4.33.0-rc2 (2026-08-03)" =>
+#doc (Manual) "Lean 4.33.0 (2026-08-10)" =>
 %%%
 tag := "release-v4.33.0"
 file := "v4.33.0"
 %%%
 
-:::warn
-These release notes describe a _release candidate_, not the final release.
-They may be incomplete and are subject to change.
-:::
-
 For this release, 208 changes landed.
 In addition to the 53 feature additions,
 and 50 fixes listed below,
diff --git a/lake-manifest.json b/lake-manifest.json
index c1784f6de..b7832d64d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "f62e380bcf8e11a2df70697916c8333bafdf3540",
+   "rev": "f60239aad00fe8476449bbe863d23d5e97a915fd",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "006dc1d1db18c5dc73d637c926cf132e88df05b5",
+   "rev": "6bc815869cba1f19515715dc6b47795acd521f1c",
    "name": "illuminate",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "61182a9187f497946b1a9170018e241c9500e6da",
+   "rev": "c6e665d0f83a1e9f31535c0834e3f0a7bd0cc7d0",
    "name": "versowebcomponents",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b1c4a69a7e247ab7df20460212001673d74f08c0",
+   "rev": "123d15766ba49356c02ebad2a4462dfe12d79899",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "859ab80c32c5851151919a7d757d7c0c0b6e39d2",
+   "rev": "3a75ede05278806fd3249bb0c97a6fb5777a4f7d",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
index c084c7fbe..025e59548 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.33.0-rc2
+leanprover/lean4:v4.33.0