chore: bump SubVerso (#947)

This gets a fix in SubVerso that makes subtle details of name generator
usage match the async elaboration workflows.

Author: david-christiansen

lake-manifest.json

@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4343da18d95390b09fde98efb18125677c4b500c",
+   "rev": "3a75ede05278806fd3249bb0c97a6fb5777a4f7d",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

test-projects/anchor-examples/lake-manifest.json

@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "ea0fbc7d444662260125aa58490499ab107ef9b6",
+      "rev": "e0df519e7fc6e8ff9c669f2036e35b2fc9671fa9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/documented-package/lake-manifest.json

@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "ea0fbc7d444662260125aa58490499ab107ef9b6",
+      "rev": "e0df519e7fc6e8ff9c669f2036e35b2fc9671fa9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/literate-config/lake-manifest.json

@@ -52,7 +52,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "4343da18d95390b09fde98efb18125677c4b500c",
+      "rev": "3a75ede05278806fd3249bb0c97a6fb5777a4f7d",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/literate-multi-root/lake-manifest.json

@@ -52,7 +52,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "4343da18d95390b09fde98efb18125677c4b500c",
+      "rev": "3a75ede05278806fd3249bb0c97a6fb5777a4f7d",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/website-examples/lake-manifest.json

@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "ea0fbc7d444662260125aa58490499ab107ef9b6",
+      "rev": "e0df519e7fc6e8ff9c669f2036e35b2fc9671fa9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/website-literate/lake-manifest.json

@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "ea0fbc7d444662260125aa58490499ab107ef9b6",
+      "rev": "e0df519e7fc6e8ff9c669f2036e35b2fc9671fa9",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",