fix docs

Author: amarmaduke

docbuild/lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "1cd7a1113090e216703e323e8fdcdf099f0a9c8a",
+   "rev": "77ef3eb515ad6bd125c596f0b164349d4a7d5bf5",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.24.0",
+   "inputRev": "v4.26.0",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"type": "path",
@@ -22,7 +22,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "91c18fa62838ad0ab7384c03c9684d99d306e1da",
+   "rev": "933fce7e893f65969714c60cdb4bd8376786044e",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -32,7 +32,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "e5aaa4949aad9a866aead1da5d5619e8decc8da7",
+   "rev": "84b88f7ac9adf382b9668f852cee82487d616792",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -42,7 +42,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "1b05159ad44f220cec7489e65e6bc4b1e178b67f",
+   "rev": "3ab4379b2b92448717de66b7d3e254ac1487aede",
    "name": "BibtexQuery",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -52,7 +52,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "66aefec2852d3e229517694e642659f316576591",
+   "rev": "38ac5945d744903ffcc473ce1030223991b11cf6",
    "name": "MD4Lean",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -62,7 +62,7 @@
    "type": "git",
    "subDir": null,
    "scope": "amarmaduke",
-   "rev": "1ff2d6eefe0ab4b0edbc474ba5cd1bc1dab5dba6",
+   "rev": "b7e0ef95e817259286cabddf8b0f9c6e4ab0e57b",
    "name": "«lean-subst»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",