revert changes to docs

MaxenceGollier · MaxenceGollier · commit 062165c728e7 · 2025-09-14T17:57:49.000-04:00
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,2 +1,5 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+
+[compat]
+Documenter = "~0.25"
