diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index 32c88e252..5ea4b01ce 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -43,6 +43,10 @@ jobs:
         run: yarn ci:generated
       - name: Test examples and hrefs
         run: yarn test
+      - name: Check unused ReScript values and exports
+        run: yarn check:dead-code
+      - name: Test dead-code diagnostics
+        run: node --test scripts/__tests__/check-dead-code.test.mjs
   # Check the built Docs Pages routes and the Guide local dev server.
   Wrangler:
     runs-on: ubuntu-24.04
diff --git a/.gitignore b/.gitignore
index 86bfbc802..4f7939a37 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,8 +9,6 @@ apps/docs/public/blog/feed.xml
 node_modules/
 out/
 apps/docs/out/
-index_data/*.json
-apps/docs/index_data/*.json
 
 # Generated via docs test examples script
 temp
diff --git a/.oxfmtrc.json b/.oxfmtrc.json
index aade3da38..7662b39ee 100644
--- a/.oxfmtrc.json
+++ b/.oxfmtrc.json
@@ -12,7 +12,6 @@
     "build",
     "data/api/**/*.json",
     "dist",
-    "apps/docs/index_data/*.json",
     "node_modules/",
     "apps/docs/out/",
     "apps/docs/public/playground-bundles/",
diff --git a/AGENTS.md b/AGENTS.md
index cbf94c8d9..0bc80cdc9 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -66,9 +66,9 @@ use the installed `rescript` package, not a separate compiler installation.
 - Prefer small functions with a single purpose.
 - Use a functional approach but don't make it too hardcore or difficult to understand.
 - Keep files and modules small and focused.
-- `.res` files must always be capitalized (PascalCase), matching ReScript module conventions.
+- Use PascalCase for new `.res` modules. Follow the existing filenames for framework entrypoints such as `root.res` and `routes.res`, and for script entrypoints.
 - Use the pipe-first operator (`->`) for chaining, which is idiomatic ReScript.
-- Resolve all warnings and treat them as errors. The project has `"error": "+8"` in `rescript.json`.
+- Resolve all warnings before committing. `yarn build:res` applies the repository's strict warning checks.
 - Never directly edit generated `.jsx` files; edit the corresponding `.res` file and rebuild. Most compiler output is ignored by Git; the guide's `apps/guide/app/root.jsx` and `apps/guide/app/routes.jsx` are tracked and must be regenerated with their sources.
 
 ## ReScript Rules
@@ -83,7 +83,7 @@ use the installed `rescript` package, not a separate compiler installation.
 - Reference the abridged documentation for clarification on how ReScript's APIs work: https://rescript-lang.org/llms/manual/llm-small.txt
 - If you need more information you can access the full documentation, but do this only when needed as the docs are very large: https://rescript-lang.org/llms/manual/llm-full.txt
 - Never use `%raw` unless you are specifically asked to
-- Never use `Object.magic`
+- Never use `Obj.magic`
 - Don't add type annotations unless necessary for clarity or to resolve an error. ReScript's type inference is powerful, and often explicit annotations are not needed.
 
 ### ReScript Dependencies
@@ -96,13 +96,18 @@ use the installed `rescript` package, not a separate compiler installation.
 The project uses several patterns for JavaScript interop. Follow the existing conventions:
 
 - **`@module` externals** for binding to npm packages (see `apps/docs/src/bindings/` and `packages/shared/src/` for examples):
+
   ```
-  @module("react-router") external useNavigate: unit => string => unit = "useNavigate"
+  type navigateOptions = {replace?: bool}
+  type navigate = (string, ~options: navigateOptions=?) => unit
+
+  @module("react-router") external useNavigate: unit => navigate = "useNavigate"
   ```
+
 - **`@module` with `@react.component`** for binding to external React components:
   ```
   @module("react-router") @react.component
-  external make: (~children: React.element) => React.element = "Outlet"
+  external make: unit => React.element = "Outlet"
   ```
 - `%raw` and `%%raw` embed JavaScript; use them only when specifically requested.
 - **`@scope`** for binding to object properties like `process.env`.
@@ -115,12 +120,12 @@ The project uses several patterns for JavaScript interop. Follow the existing co
 - The site uses hybrid rendering: most routes are pre-rendered during the build, while `/try` is server-rendered by Cloudflare Pages Functions at runtime.
 - Loaders for pre-rendered routes can access the filesystem during the build. Runtime SSR loaders, including shared loader code reachable from `/try`, execute in Cloudflare and must not depend on Node-only filesystem APIs or other build-time-only operations.
 - Docs route modules live in `apps/docs/app/routes/`; the guide's route modules live in `apps/guide/app/`. Routes can export a `loader`, `links`, and a `default` component as needed.
-- Route modules **require** both a `.res` and a `.resi` (interface) file for Vite HMR to work.
-- Only a single React component can be exposed from a module's JS output.
+- Give route modules a `.resi` interface that exposes their route exports and keeps helper components private.
+- Export a route's page component as `default`. Reusable component modules may export multiple components, as `Markdown.resi` does.
 
 ### Route Module Pattern
 
-Every route follows this pattern:
+Example of a route with a loader. Routes without loader data can omit the loader and its type:
 
 ```rescript
 // SomeRoute.res
@@ -197,7 +202,7 @@ let default: unit => React.element
   ```
 
 - Components requiring React Router context must be wrapped in `<MemoryRouter>`.
-- Do not use `<BrowserRouter>` in tests.
+- Do not use `<BrowserRouter>` in component tests. End-to-end tests exercise the app's normal routing and browser history.
 - Run `yarn build:res` first so the tests use current compiler output. Run `yarn vitest --browser.headless --run` for docs tests or `yarn vitest:guide --browser.headless --run` for guide tests. Run `yarn ci:test` to check both suites.
 - Do not update snapshots without asking for confirmation. Approved docs visual baseline changes use the `Update Visual Regression Screenshots` GitHub Actions workflow against the feature branch; pull and review the generated commit. Local screenshot updates are blocked by the Vitest configuration.
 
@@ -229,4 +234,4 @@ let default: unit => React.element
 - Do **not** modify generated `.jsx` / `.mjs` files directly — they are ReScript compiler output.
 - Do **not** use `@genType` — the project does not use it.
 - The `apps/docs/src/ffi/` directory is legacy; prefer bindings in `apps/docs/src/bindings/` or `packages/shared/src/` for new JS interop.
-- When editing route files, always update both the `.res` and `.resi` files.
+- Keep route `.resi` files in sync when public exports or their types change. Implementation-only edits need only change the `.res` file.
diff --git a/README.md b/README.md
index fc5a91433..bd4578c9e 100644
--- a/README.md
+++ b/README.md
@@ -94,28 +94,44 @@ Tailwind v4 uses the Vite plugin and [`apps/docs/styles/main.css`](apps/docs/sty
 
 The [recommended VS Code extensions](.vscode/extensions.json) provide ReScript support and [Oxfmt editor integration](https://oxc.rs/docs/guide/usage/formatter/editors.html). Oxfmt configuration lives in [`.oxfmtrc.json`](.oxfmtrc.json).
 
+## Dead-code checks
+
+`yarn check:dead-code` compiles every workspace and runs reanalyze across the
+monorepo, including FFI exports. CI fails on unused values and exports. Bindings
+whose names start with `_` are treated as intentional discards. Record fields,
+variant cases, and argument diagnostics remain advisory because JavaScript and
+FFI access can be invisible to the analyzer; inspect them with `yarn reanalyze`.
+
+React Router and Cloudflare call exports from JavaScript. Their entry points are
+marked `@live` individually in the `.resi` interface, or in `.res` when there is
+no interface. Keep these annotations limited to real entry points and do not
+duplicate them between files; check JavaScript imports and MDX mappings before
+removing a reported export.
+
 ## Common Commands
 
 Run these commands from the repository root. To target a workspace, use
 `yarn workspace <name> <command>`; the workspace names are `@rescript-lang/docs`,
 `@rescript-lang/guide`, `@rescript-lang/playground`, and `@rescript-lang/shared`.
 
-| Command              | Purpose                                                          |
-| -------------------- | ---------------------------------------------------------------- |
-| `yarn dev`           | Prepare generated files and run the docs development environment |
-| `yarn build`         | Build and pre-render the docs site                               |
-| `yarn build:guide`   | Build and pre-render the interactive guide                       |
-| `yarn preview`       | Build and serve the generated docs client locally                |
-| `yarn build:res`     | Generate route types and compile all four workspaces             |
-| `yarn build:routes`  | Regenerate the shared ReScript route type                        |
-| `yarn check:routes`  | Check that the shared route type matches the current routes      |
-| `yarn dev:res`       | Run the ReScript compiler in watch mode                          |
-| `yarn format`        | Run Oxfmt and format ReScript across all four workspaces         |
-| `yarn test`          | Run docs markdown example, href, and redirect validation         |
-| `yarn ci:test`       | Run docs and guide Vitest browser tests headlessly               |
-| `yarn vitest`        | Run docs Vitest browser tests in watch mode                      |
-| `yarn vitest:guide`  | Run guide Vitest browser tests in watch mode                     |
-| `yarn vitest:update` | Update screenshot baselines headlessly                           |
+| Command             | Purpose                                                          |
+| ------------------- | ---------------------------------------------------------------- |
+| `yarn dev`          | Prepare generated files and run the docs development environment |
+| `yarn build`        | Build and pre-render the docs site                               |
+| `yarn build:guide`  | Build and pre-render the interactive guide                       |
+| `yarn preview`      | Build and serve the generated docs client locally                |
+| `yarn build:res`    | Generate route types and compile all four workspaces             |
+| `yarn build:routes` | Regenerate the shared ReScript route type                        |
+| `yarn check:routes` | Check that the shared route type matches the current routes      |
+| `yarn dev:res`      | Run the ReScript compiler in watch mode                          |
+| `yarn format`       | Run Oxfmt and format ReScript across all four workspaces         |
+| `yarn test`         | Run docs markdown example, href, and redirect validation         |
+| `yarn ci:test`      | Run docs and guide Vitest browser tests headlessly               |
+| `yarn vitest`       | Run docs Vitest browser tests in watch mode                      |
+| `yarn vitest:guide` | Run guide Vitest browser tests in watch mode                     |
+| `yarn cy:open`      | Open the full-site Cypress suite against the running dev server  |
+| `yarn cy:e2e`       | Run the full-site Cypress suite headlessly in Chrome             |
+| `yarn test:e2e`     | Build and run homepage Cypress tests with a temporary server     |
 
 ## Testing
 
@@ -161,13 +177,39 @@ yarn ci:test
 For a headless run of a single suite, use `yarn vitest --browser.headless --run`
 for docs or `yarn vitest:guide --browser.headless --run` for the guide.
 
-To update screenshot baselines, run:
+Visual screenshot baselines are generated in CI's pinned Linux browser environment. Local snapshot updates are blocked. Push your feature branch, then open [Update Visual Regression Screenshots](https://github.com/rescript-lang/rescript-lang.org/actions/workflows/update-visual-screenshots.yml), select that branch, and choose **Run workflow**. The workflow refuses `master` and commits any changed PNGs back to the selected branch.
+
+You can also dispatch the workflow with the GitHub CLI, replacing `<feature-branch>` with your pushed branch:
+
+```sh
+gh workflow run update-visual-screenshots.yml --repo rescript-lang/rescript-lang.org --ref <feature-branch>
+```
+
+After the workflow finishes, pull its commit and review the screenshot diff. Only accept screenshots intentionally affected by your change.
+
+### Cypress E2E Tests
+
+The full-site suite covers documentation, navigation, and the playground. Start the local development server in one terminal:
+
+```sh
+yarn dev
+```
+
+Wait for Vite to report its local URL. In another terminal, run one of these commands:
+
+```sh
+yarn cy:open # Interactive Cypress runner (Electron)
+yarn cy:run  # Headless run (Electron)
+yarn cy:e2e  # Headless run (Chrome must be installed)
+```
+
+These commands compile the ReScript specs and default to `http://localhost:5173`. If Vite reports another port, or you want to test a deployed site, pass its URL explicitly:
 
 ```sh
-yarn vitest:update
+yarn cy:e2e --config baseUrl=http://localhost:5174
 ```
 
-Only update screenshots that are intentionally affected by your change.
+The homepage suite uses the production build and its own configuration. `yarn test:e2e` builds the site, starts a temporary server at `http://127.0.0.1:4173`, runs the homepage specs in Chrome, and stops the server when the tests finish. It does not require `yarn dev`.
 
 ### Markdown Example and Link Checks
 
diff --git a/apps/docs/__tests__/Url_.test.res b/apps/docs/__tests__/Url_.test.res
deleted file mode 100644
index fd29c2185..000000000
--- a/apps/docs/__tests__/Url_.test.res
+++ /dev/null
@@ -1,29 +0,0 @@
-open Vitest
-
-test("Url.parse splits an unversioned route into path segments", async () => {
-  let result = Url.parse("/docs/manual/introduction")
-  expect(result.base)->toEqual(["docs", "manual", "introduction"])
-  expect(result.pagepath)->toEqual([])
-  expect(result.fullpath)->toEqual(["docs", "manual", "introduction"])
-})
-
-test("Url.parse treats version-like segments as ordinary path content", async () => {
-  let result = Url.parse("/docs/manual/v12.0.0/introduction")
-  expect(result.base)->toEqual(["docs", "manual", "v12.0.0", "introduction"])
-  expect(result.pagepath)->toEqual([])
-  expect(result.fullpath)->toEqual(["docs", "manual", "v12.0.0", "introduction"])
-})
-
-test("Url.parse treats latest as ordinary path content", async () => {
-  let result = Url.parse("/docs/manual/latest/arrays")
-  expect(result.base)->toEqual(["docs", "manual", "latest", "arrays"])
-  expect(result.pagepath)->toEqual([])
-  expect(result.fullpath)->toEqual(["docs", "manual", "latest", "arrays"])
-})
-
-test("Url.parse parses routes outside docs without special handling", async () => {
-  let result = Url.parse("/community/overview")
-  expect(result.base)->toEqual(["community", "overview"])
-  expect(result.pagepath)->toEqual([])
-  expect(result.fullpath)->toEqual(["community", "overview"])
-})
diff --git a/apps/docs/app/DocsRoot.resi b/apps/docs/app/DocsRoot.resi
index e9a4c6ad1..cde121a48 100644
--- a/apps/docs/app/DocsRoot.resi
+++ b/apps/docs/app/DocsRoot.resi
@@ -1,5 +1,5 @@
 /** Shared shell, token styles, and the stable Cypress bootstrap slot.
 Runtime grammars belong to content routes and the playground. */
 /** Keep server-rendered content visible; head stylesheets handle render blocking. */
-@react.component
+@react.component @live
 let default: unit => Jsx.element
diff --git a/apps/docs/app/layouts/ContentLayoutRoute.resi b/apps/docs/app/layouts/ContentLayoutRoute.resi
index 381da2b21..d11cb3818 100644
--- a/apps/docs/app/layouts/ContentLayoutRoute.resi
+++ b/apps/docs/app/layouts/ContentLayoutRoute.resi
@@ -1,7 +1,8 @@
 type stylesheet = {rel: string, href: string}
 
+@live
 let links: unit => array<stylesheet>
 
 /** Own content styles and runtime highlighting without adding a DOM wrapper. */
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/docs/app/layouts/DocsLayoutRoute.resi b/apps/docs/app/layouts/DocsLayoutRoute.resi
index 47fa1ac2e..30cde7b0b 100644
--- a/apps/docs/app/layouts/DocsLayoutRoute.resi
+++ b/apps/docs/app/layouts/DocsLayoutRoute.resi
@@ -1,2 +1,2 @@
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/docs/app/layouts/HomepageLayoutRoute.resi b/apps/docs/app/layouts/HomepageLayoutRoute.resi
index bf0517cf9..61ed8faa7 100644
--- a/apps/docs/app/layouts/HomepageLayoutRoute.resi
+++ b/apps/docs/app/layouts/HomepageLayoutRoute.resi
@@ -1,7 +1,8 @@
 type stylesheet = {rel: string, href: string}
 
+@live
 let links: unit => array<stylesheet>
 
 /** Own homepage styles without adding a DOM wrapper. */
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/ApiDocs.res b/apps/docs/app/routes/ApiDocs.res
index ba0430536..0b4ea59f3 100644
--- a/apps/docs/app/routes/ApiDocs.res
+++ b/apps/docs/app/routes/ApiDocs.res
@@ -258,7 +258,8 @@ module DocstringsStylize = {
   }
 }
 
-@react.componentWithProps
+// reanalyze does not see the JSX props spread call in ApiRoute.
+@live @react.componentWithProps
 let make = (props: props) => {
   let children = {
     open Markdown
diff --git a/apps/docs/app/routes/ApiOverviewRoute.resi b/apps/docs/app/routes/ApiOverviewRoute.resi
index 44e515171..6d1265c42 100644
--- a/apps/docs/app/routes/ApiOverviewRoute.resi
+++ b/apps/docs/app/routes/ApiOverviewRoute.resi
@@ -1,11 +1,11 @@
-let categories: array<SidebarNav.Category.t>
-
 type loaderData = {
   compiledMdx: CompiledMdx.t,
   title: string,
   description: string,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/ApiRoute.resi b/apps/docs/app/routes/ApiRoute.resi
index aab0723f3..2f73ea401 100644
--- a/apps/docs/app/routes/ApiRoute.resi
+++ b/apps/docs/app/routes/ApiRoute.resi
@@ -1,6 +1,8 @@
 type loaderData = ApiDocs.props
 
 /** Loads page content and navigation from the same published compiler dataset. */
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/BlogArticleRoute.resi b/apps/docs/app/routes/BlogArticleRoute.resi
index 40ba9580c..c459baab4 100644
--- a/apps/docs/app/routes/BlogArticleRoute.resi
+++ b/apps/docs/app/routes/BlogArticleRoute.resi
@@ -4,6 +4,8 @@ type loaderData = {
   title: string,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/BlogRoute.resi b/apps/docs/app/routes/BlogRoute.resi
index 34ac9a2a6..d3a21e01a 100644
--- a/apps/docs/app/routes/BlogRoute.resi
+++ b/apps/docs/app/routes/BlogRoute.resi
@@ -1,6 +1,7 @@
 type loaderData = {posts: array<BlogApi.post>, category: Blog.category}
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/BrandRoute.resi b/apps/docs/app/routes/BrandRoute.resi
index 5f02c123c..453551df9 100644
--- a/apps/docs/app/routes/BrandRoute.resi
+++ b/apps/docs/app/routes/BrandRoute.resi
@@ -1 +1,2 @@
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/CommunityRoute.resi b/apps/docs/app/routes/CommunityRoute.resi
index 456908ac9..7a46a4347 100644
--- a/apps/docs/app/routes/CommunityRoute.resi
+++ b/apps/docs/app/routes/CommunityRoute.resi
@@ -7,6 +7,8 @@ type loaderData = {
   categories: array<SidebarNav.Category.t>,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/DocsGuidesRoute.resi b/apps/docs/app/routes/DocsGuidesRoute.resi
index 6eea0299c..1f083c417 100644
--- a/apps/docs/app/routes/DocsGuidesRoute.resi
+++ b/apps/docs/app/routes/DocsGuidesRoute.resi
@@ -7,6 +7,8 @@ type loaderData = {
   filePath: string,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/DocsManualRoute.resi b/apps/docs/app/routes/DocsManualRoute.resi
index 6eea0299c..1f083c417 100644
--- a/apps/docs/app/routes/DocsManualRoute.resi
+++ b/apps/docs/app/routes/DocsManualRoute.resi
@@ -7,6 +7,8 @@ type loaderData = {
   filePath: string,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/DocsReactRoute.resi b/apps/docs/app/routes/DocsReactRoute.resi
index 6eea0299c..1f083c417 100644
--- a/apps/docs/app/routes/DocsReactRoute.resi
+++ b/apps/docs/app/routes/DocsReactRoute.resi
@@ -7,6 +7,8 @@ type loaderData = {
   filePath: string,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/LandingPageRoute.resi b/apps/docs/app/routes/LandingPageRoute.resi
index 1c6062553..c1ab3df4e 100644
--- a/apps/docs/app/routes/LandingPageRoute.resi
+++ b/apps/docs/app/routes/LandingPageRoute.resi
@@ -8,12 +8,14 @@ type fontPreload = {
 }
 
 /** Preload above-the-fold faces, including Inter 700 only at the desktop breakpoint. */
+@live
 let links: unit => array<fontPreload>
 
 type loaderData = {playgroundData: LandingPagePlayground.playgroundData}
 
 /** Prerender the fixed example so highlighting and URL compression stay off the client. */
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/NotFoundRoute.resi b/apps/docs/app/routes/NotFoundRoute.resi
index efddc2079..dbe44edf2 100644
--- a/apps/docs/app/routes/NotFoundRoute.resi
+++ b/apps/docs/app/routes/NotFoundRoute.resi
@@ -1,5 +1,7 @@
+@live
 let loader: ReactRouter.Loader.t<ReactRouter.data<JSON.t>>
+@live
 let clientLoader: ReactRouter.Loader.t<JSON.t>
 
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/PackagesRoute.resi b/apps/docs/app/routes/PackagesRoute.resi
index fc06a02b0..4da28a456 100644
--- a/apps/docs/app/routes/PackagesRoute.resi
+++ b/apps/docs/app/routes/PackagesRoute.resi
@@ -1,2 +1,4 @@
+@live
 let loader: unit => promise<Packages.props>
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/SyntaxLookup.res b/apps/docs/app/routes/SyntaxLookup.res
index fdddb1a60..2c88212aa 100644
--- a/apps/docs/app/routes/SyntaxLookup.res
+++ b/apps/docs/app/routes/SyntaxLookup.res
@@ -51,16 +51,6 @@ module Category = {
     | _ => Other
     }
   }
-
-  @react.component
-  let make = (~title, ~children) => {
-    <div>
-      <h3 className="font-sans font-medium text-gray-100 tracking-wide text-14 uppercase mb-2">
-        {React.string(title)}
-      </h3>
-      <div className="flex flex-wrap"> children </div>
-    </div>
-  }
 }
 
 module Status = {
@@ -119,15 +109,6 @@ module Item = {
     }
 }
 
-type itemInfo = {
-  id: string,
-  keywords: array<string>,
-  name: string,
-  summary: string,
-  category: Category.t,
-  status: Status.t,
-}
-
 module Tag = {
   @react.component
   let make = (~deprecated: bool, ~text: string, ~href) => {
@@ -174,40 +155,6 @@ type state =
   | ShowFiltered(string, array<Item.t>) // (search, filteredItems)
   | ShowDetails(Item.t)
 
-let scrollToTop = () => WebAPI.Window.scrollTo(window, ~options={left: 0.0, top: 0.0})
-
-type params = {slug: string}
-
-let decode = (json: JSON.t) => {
-  open JSON
-  switch json {
-  | Object(dict{
-      "id": String(id),
-      "keywords": Array(keywords),
-      "name": String(name),
-      "summary": String(summary),
-      "category": String(category),
-      "status": ?status,
-    }) => {
-      id,
-      name,
-      summary,
-      category: Category.fromString(category),
-      keywords: keywords->Array.filterMap(k =>
-        switch k {
-        | String(k) => Some(k)
-        | _ => None
-        }
-      ),
-      status: switch status {
-      | Some(String(status)) => status->Status.fromString
-      | _ => Status.Active
-      },
-    }
-  | _ => throw(Failure(`Failed to decode SyntaxLookup. ${__LOC__}`))
-  }
-}
-
 type item = {
   id: string,
   keywords: array<string>,
diff --git a/apps/docs/app/routes/SyntaxLookupDetailRoute.resi b/apps/docs/app/routes/SyntaxLookupDetailRoute.resi
index 5436eda52..e6b480cac 100644
--- a/apps/docs/app/routes/SyntaxLookupDetailRoute.resi
+++ b/apps/docs/app/routes/SyntaxLookupDetailRoute.resi
@@ -6,6 +6,8 @@ type loaderData = {
   description: string,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/app/routes/SyntaxLookupRoute.resi b/apps/docs/app/routes/SyntaxLookupRoute.resi
index fa1131538..e7f2f6f88 100644
--- a/apps/docs/app/routes/SyntaxLookupRoute.resi
+++ b/apps/docs/app/routes/SyntaxLookupRoute.resi
@@ -1,5 +1,7 @@
 type loaderData = {mdxSources: array<SyntaxLookup.item>}
+@live
 let loader: ReactRouter.Loader.t<loaderData>
+@live
 let default: unit => React.element
 // TODO: move this out of the route file so it can export only a single react component
 let convert: Mdx.attributes => SyntaxLookup.item
diff --git a/apps/docs/app/routes/TryRoute.resi b/apps/docs/app/routes/TryRoute.resi
index 65e640435..9285f0b75 100644
--- a/apps/docs/app/routes/TryRoute.resi
+++ b/apps/docs/app/routes/TryRoute.resi
@@ -1,5 +1,6 @@
 type stylesheet = {rel: string, href: string}
 
+@live
 let links: unit => array<stylesheet>
 
 type props = {
@@ -7,6 +8,8 @@ type props = {
   versions: array<string>,
 }
 
+@live
 let loader: unit => promise<option<props>>
 
+@live
 let default: unit => React.element
diff --git a/apps/docs/compilers/README.md b/apps/docs/compilers/README.md
deleted file mode 100644
index ceebd0b28..000000000
--- a/apps/docs/compilers/README.md
+++ /dev/null
@@ -1,5 +0,0 @@
-# compilers
-
-This folder is needed to install additional rescript compiler versions for testing our documented source code on multiple compiler versions.
-
-Our `scripts/test-examples.mjs` script will automatically install all package.json dependencies if it cannot find any compiler versions.
diff --git a/apps/docs/compilers/dummy/Dummy.res b/apps/docs/compilers/dummy/Dummy.res
deleted file mode 100644
index 4992ee3d2..000000000
--- a/apps/docs/compilers/dummy/Dummy.res
+++ /dev/null
@@ -1 +0,0 @@
-Console.debug("I am a dummy file")
diff --git a/apps/docs/compilers/package-lock.json b/apps/docs/compilers/package-lock.json
deleted file mode 100644
index 9a20b57aa..000000000
--- a/apps/docs/compilers/package-lock.json
+++ /dev/null
@@ -1,287 +0,0 @@
-{
-  "name": "compilers",
-  "version": "1.0.0",
-  "lockfileVersion": 2,
-  "requires": true,
-  "packages": {
-    "": {
-      "name": "compilers",
-      "version": "1.0.0",
-      "license": "MIT",
-      "dependencies": {
-        "@rescript/core": "^1.3.0",
-        "@rescript/react": "^0.12.0",
-        "rescript-1000": "npm:rescript@10.0.0",
-        "rescript-1010": "npm:rescript@10.1.0",
-        "rescript-1100": "npm:rescript@11.0.0",
-        "rescript-1110": "npm:rescript@11.1.0",
-        "rescript-820": "npm:bs-platform@8.2.0",
-        "rescript-902": "npm:bs-platform@9.0.2",
-        "rescript-912": "npm:rescript@9.1.2"
-      }
-    },
-    "node_modules/@rescript/core": {
-      "version": "1.3.0",
-      "resolved": "https://registry.npmjs.org/@rescript/core/-/core-1.3.0.tgz",
-      "integrity": "sha512-wNZOZ63sYcaIYZCmTZeIPCeLa3HCGgPbIOR8zjyNkoBYUlxNV8Nb2ZyqlXR5Mb9ttvv8fTV56JbKhyVEZEYo8g==",
-      "peerDependencies": {
-        "rescript": "^11.1.0-rc.7"
-      }
-    },
-    "node_modules/@rescript/react": {
-      "version": "0.12.0",
-      "resolved": "https://registry.npmjs.org/@rescript/react/-/react-0.12.0.tgz",
-      "integrity": "sha512-EBLsf5rD7sJOjgfLLGwuLw/hONszc3UtYnIVgv7OdTyUNR41/m4deVm62PI0agvr3kWakXz4KchKRSd+19/bRA==",
-      "peerDependencies": {
-        "react": ">=18.0.0",
-        "react-dom": ">=18.0.0"
-      }
-    },
-    "node_modules/js-tokens": {
-      "version": "4.0.0",
-      "resolved": "https://registry.npmjs.org/js-tokens/-/js-tokens-4.0.0.tgz",
-      "integrity": "sha512-RdJUflcE3cUzKiMqQgsCu06FPu9UdIJO0beYbPhHN4k6apgJtifcoCtT9bcxOpYBtpD2kCM6Sbzg4CausW/PKQ==",
-      "peer": true
-    },
-    "node_modules/loose-envify": {
-      "version": "1.4.0",
-      "resolved": "https://registry.npmjs.org/loose-envify/-/loose-envify-1.4.0.tgz",
-      "integrity": "sha512-lyuxPGr/Wfhrlem2CL/UcnUc1zcqKAImBDzukY7Y5F/yQiNdko6+fRLevlw1HgMySw7f611UIY408EtxRSoK3Q==",
-      "peer": true,
-      "dependencies": {
-        "js-tokens": "^3.0.0 || ^4.0.0"
-      },
-      "bin": {
-        "loose-envify": "cli.js"
-      }
-    },
-    "node_modules/react": {
-      "version": "18.2.0",
-      "resolved": "https://registry.npmjs.org/react/-/react-18.2.0.tgz",
-      "integrity": "sha512-/3IjMdb2L9QbBdWiW5e3P2/npwMBaU9mHCSCUzNln0ZCYbcfTsGbTJrU/kGemdH2IWmB2ioZ+zkxtmq6g09fGQ==",
-      "peer": true,
-      "dependencies": {
-        "loose-envify": "^1.1.0"
-      },
-      "engines": {
-        "node": ">=0.10.0"
-      }
-    },
-    "node_modules/react-dom": {
-      "version": "18.2.0",
-      "resolved": "https://registry.npmjs.org/react-dom/-/react-dom-18.2.0.tgz",
-      "integrity": "sha512-6IMTriUmvsjHUjNtEDudZfuDQUoWXVxKHhlEGSk81n4YFS+r/Kl99wXiwlVXtPBtJenozv2P+hxDsw9eA7Xo6g==",
-      "peer": true,
-      "dependencies": {
-        "loose-envify": "^1.1.0",
-        "scheduler": "^0.23.0"
-      },
-      "peerDependencies": {
-        "react": "^18.2.0"
-      }
-    },
-    "node_modules/rescript": {
-      "version": "11.1.1",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.1.tgz",
-      "integrity": "sha512-FMELeoiR1n3LzBdBt+k7U4l0vsz5Xh0HBSHf+0NhyhzZkMRLkEKEDNrcqZc6RIux9bxmxoO+zEa9qFM01VOXAw==",
-      "hasInstallScript": true,
-      "peer": true,
-      "bin": {
-        "bsc": "bsc",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
-      },
-      "engines": {
-        "node": ">=10"
-      }
-    },
-    "node_modules/rescript-1000": {
-      "name": "rescript",
-      "version": "10.0.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-10.0.0.tgz",
-      "integrity": "sha512-LhNg/4+0j8NvoFeslgAeYLlzUwkq6kR6l6v8BnZ61VDTxopK2l96uT1lq5lv1aMxzMDynvE2qnX0zalre+6XxA==",
-      "hasInstallScript": true,
-      "bin": {
-        "bsc": "bsc",
-        "bsrefmt": "bsrefmt",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
-      }
-    },
-    "node_modules/rescript-1010": {
-      "name": "rescript",
-      "version": "10.1.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-10.1.0.tgz",
-      "integrity": "sha512-85KLtBECo+hYwObbifXk5xpxUCUFMWgCR1w7hDDGhhXIXqEpHQ2ds6o++YPxzXjLuU1/qA7Iovq2zUX4opejQw==",
-      "hasInstallScript": true,
-      "bin": {
-        "bsc": "bsc",
-        "bsrefmt": "bsrefmt",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
-      }
-    },
-    "node_modules/rescript-1100": {
-      "name": "rescript",
-      "version": "11.0.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.0.0.tgz",
-      "integrity": "sha512-uIUwDZZmDUb7ymGkBiiGioxMg8hXh1mze/2k/qhYQcZGgi7PrLHQIW9AksM7gb9WnpjCAvFsA8U2VgC0nA468w==",
-      "hasInstallScript": true,
-      "bin": {
-        "bsc": "bsc",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
-      },
-      "engines": {
-        "node": ">=10"
-      }
-    },
-    "node_modules/rescript-1110": {
-      "name": "rescript",
-      "version": "11.1.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.0.tgz",
-      "integrity": "sha512-9la2Dv+ACylQ77I8s4spPu1JnLZXbH5WgxcLHLLUBWgFFSiv0wXqgzWztrBIZqwFgVX5BYcwldUqUVcEzdCyHg==",
-      "hasInstallScript": true,
-      "bin": {
-        "bsc": "bsc",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
-      },
-      "engines": {
-        "node": ">=10"
-      }
-    },
-    "node_modules/rescript-820": {
-      "name": "bs-platform",
-      "version": "8.2.0",
-      "resolved": "https://registry.npmjs.org/bs-platform/-/bs-platform-8.2.0.tgz",
-      "integrity": "sha512-quvmUac/ZxGDsT7L5+6RNXrLPvLHkWFownacaqlwVoyAm770bPyupTRU49ALPGk3HpjfD5eE+lpGdOSPtuwJiA=="
-    },
-    "node_modules/rescript-902": {
-      "name": "bs-platform",
-      "version": "9.0.2",
-      "resolved": "https://registry.npmjs.org/bs-platform/-/bs-platform-9.0.2.tgz",
-      "integrity": "sha512-Ye9JqJ4Oa7mcjjoOVRYI8Uc2Cf8N7jQLWDcdUplY7996d/YErSR7WitmV7XnSwr4EvdrbwjEsg1NxNjUQv3ChA=="
-    },
-    "node_modules/rescript-912": {
-      "name": "rescript",
-      "version": "9.1.2",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-9.1.2.tgz",
-      "integrity": "sha512-4wHvTDv3nyYnAPJHcg1RGG8z7u3HDiBf6RN3P/dITDv859Qo35aKOzJWQtfBzbAs0EKNafLqei3TnUqiAv6BwQ==",
-      "hasInstallScript": true,
-      "bin": {
-        "bsc": "bsc",
-        "bsrefmt": "bsrefmt",
-        "bstracing": "lib/bstracing",
-        "rescript": "rescript"
-      }
-    },
-    "node_modules/scheduler": {
-      "version": "0.23.0",
-      "resolved": "https://registry.npmjs.org/scheduler/-/scheduler-0.23.0.tgz",
-      "integrity": "sha512-CtuThmgHNg7zIZWAXi3AsyIzA3n4xx7aNyjwC2VJldO2LMVDhFK+63xGqq6CsJH4rTAt6/M+N4GhZiDYPx9eUw==",
-      "peer": true,
-      "dependencies": {
-        "loose-envify": "^1.1.0"
-      }
-    }
-  },
-  "dependencies": {
-    "@rescript/core": {
-      "version": "1.3.0",
-      "resolved": "https://registry.npmjs.org/@rescript/core/-/core-1.3.0.tgz",
-      "integrity": "sha512-wNZOZ63sYcaIYZCmTZeIPCeLa3HCGgPbIOR8zjyNkoBYUlxNV8Nb2ZyqlXR5Mb9ttvv8fTV56JbKhyVEZEYo8g==",
-      "requires": {}
-    },
-    "@rescript/react": {
-      "version": "0.12.0",
-      "resolved": "https://registry.npmjs.org/@rescript/react/-/react-0.12.0.tgz",
-      "integrity": "sha512-EBLsf5rD7sJOjgfLLGwuLw/hONszc3UtYnIVgv7OdTyUNR41/m4deVm62PI0agvr3kWakXz4KchKRSd+19/bRA==",
-      "requires": {}
-    },
-    "js-tokens": {
-      "version": "4.0.0",
-      "resolved": "https://registry.npmjs.org/js-tokens/-/js-tokens-4.0.0.tgz",
-      "integrity": "sha512-RdJUflcE3cUzKiMqQgsCu06FPu9UdIJO0beYbPhHN4k6apgJtifcoCtT9bcxOpYBtpD2kCM6Sbzg4CausW/PKQ==",
-      "peer": true
-    },
-    "loose-envify": {
-      "version": "1.4.0",
-      "resolved": "https://registry.npmjs.org/loose-envify/-/loose-envify-1.4.0.tgz",
-      "integrity": "sha512-lyuxPGr/Wfhrlem2CL/UcnUc1zcqKAImBDzukY7Y5F/yQiNdko6+fRLevlw1HgMySw7f611UIY408EtxRSoK3Q==",
-      "peer": true,
-      "requires": {
-        "js-tokens": "^3.0.0 || ^4.0.0"
-      }
-    },
-    "react": {
-      "version": "18.2.0",
-      "resolved": "https://registry.npmjs.org/react/-/react-18.2.0.tgz",
-      "integrity": "sha512-/3IjMdb2L9QbBdWiW5e3P2/npwMBaU9mHCSCUzNln0ZCYbcfTsGbTJrU/kGemdH2IWmB2ioZ+zkxtmq6g09fGQ==",
-      "peer": true,
-      "requires": {
-        "loose-envify": "^1.1.0"
-      }
-    },
-    "react-dom": {
-      "version": "18.2.0",
-      "resolved": "https://registry.npmjs.org/react-dom/-/react-dom-18.2.0.tgz",
-      "integrity": "sha512-6IMTriUmvsjHUjNtEDudZfuDQUoWXVxKHhlEGSk81n4YFS+r/Kl99wXiwlVXtPBtJenozv2P+hxDsw9eA7Xo6g==",
-      "peer": true,
-      "requires": {
-        "loose-envify": "^1.1.0",
-        "scheduler": "^0.23.0"
-      }
-    },
-    "rescript": {
-      "version": "11.1.1",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.1.tgz",
-      "integrity": "sha512-FMELeoiR1n3LzBdBt+k7U4l0vsz5Xh0HBSHf+0NhyhzZkMRLkEKEDNrcqZc6RIux9bxmxoO+zEa9qFM01VOXAw==",
-      "peer": true
-    },
-    "rescript-1000": {
-      "version": "npm:rescript@10.0.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-10.0.0.tgz",
-      "integrity": "sha512-LhNg/4+0j8NvoFeslgAeYLlzUwkq6kR6l6v8BnZ61VDTxopK2l96uT1lq5lv1aMxzMDynvE2qnX0zalre+6XxA=="
-    },
-    "rescript-1010": {
-      "version": "npm:rescript@10.1.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-10.1.0.tgz",
-      "integrity": "sha512-85KLtBECo+hYwObbifXk5xpxUCUFMWgCR1w7hDDGhhXIXqEpHQ2ds6o++YPxzXjLuU1/qA7Iovq2zUX4opejQw=="
-    },
-    "rescript-1100": {
-      "version": "npm:rescript@11.0.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.0.0.tgz",
-      "integrity": "sha512-uIUwDZZmDUb7ymGkBiiGioxMg8hXh1mze/2k/qhYQcZGgi7PrLHQIW9AksM7gb9WnpjCAvFsA8U2VgC0nA468w=="
-    },
-    "rescript-1110": {
-      "version": "npm:rescript@11.1.0",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-11.1.0.tgz",
-      "integrity": "sha512-9la2Dv+ACylQ77I8s4spPu1JnLZXbH5WgxcLHLLUBWgFFSiv0wXqgzWztrBIZqwFgVX5BYcwldUqUVcEzdCyHg=="
-    },
-    "rescript-820": {
-      "version": "npm:bs-platform@8.2.0",
-      "resolved": "https://registry.npmjs.org/bs-platform/-/bs-platform-8.2.0.tgz",
-      "integrity": "sha512-quvmUac/ZxGDsT7L5+6RNXrLPvLHkWFownacaqlwVoyAm770bPyupTRU49ALPGk3HpjfD5eE+lpGdOSPtuwJiA=="
-    },
-    "rescript-902": {
-      "version": "npm:bs-platform@9.0.2",
-      "resolved": "https://registry.npmjs.org/bs-platform/-/bs-platform-9.0.2.tgz",
-      "integrity": "sha512-Ye9JqJ4Oa7mcjjoOVRYI8Uc2Cf8N7jQLWDcdUplY7996d/YErSR7WitmV7XnSwr4EvdrbwjEsg1NxNjUQv3ChA=="
-    },
-    "rescript-912": {
-      "version": "npm:rescript@9.1.2",
-      "resolved": "https://registry.npmjs.org/rescript/-/rescript-9.1.2.tgz",
-      "integrity": "sha512-4wHvTDv3nyYnAPJHcg1RGG8z7u3HDiBf6RN3P/dITDv859Qo35aKOzJWQtfBzbAs0EKNafLqei3TnUqiAv6BwQ=="
-    },
-    "scheduler": {
-      "version": "0.23.0",
-      "resolved": "https://registry.npmjs.org/scheduler/-/scheduler-0.23.0.tgz",
-      "integrity": "sha512-CtuThmgHNg7zIZWAXi3AsyIzA3n4xx7aNyjwC2VJldO2LMVDhFK+63xGqq6CsJH4rTAt6/M+N4GhZiDYPx9eUw==",
-      "peer": true,
-      "requires": {
-        "loose-envify": "^1.1.0"
-      }
-    }
-  }
-}
diff --git a/apps/docs/compilers/package.json b/apps/docs/compilers/package.json
deleted file mode 100644
index 1cf8ac044..000000000
--- a/apps/docs/compilers/package.json
+++ /dev/null
@@ -1,18 +0,0 @@
-{
-  "name": "compilers",
-  "version": "1.0.0",
-  "private": true,
-  "license": "MIT",
-  "main": "index.js",
-  "dependencies": {
-    "@rescript/core": "^1.3.0",
-    "@rescript/react": "^0.12.0",
-    "rescript-1000": "npm:rescript@10.0.0",
-    "rescript-1010": "npm:rescript@10.1.0",
-    "rescript-1100": "npm:rescript@11.0.0",
-    "rescript-1110": "npm:rescript@11.1.0",
-    "rescript-820": "npm:bs-platform@8.2.0",
-    "rescript-902": "npm:bs-platform@9.0.2",
-    "rescript-912": "npm:rescript@9.1.2"
-  }
-}
diff --git a/apps/docs/compilers/rescript.json b/apps/docs/compilers/rescript.json
deleted file mode 100644
index f135476c7..000000000
--- a/apps/docs/compilers/rescript.json
+++ /dev/null
@@ -1,10 +0,0 @@
-{
-  "name": "dummy",
-  "jsx": { "version": 4 },
-  "sources": {
-    "dir": "dummy",
-    "subdirs": true
-  },
-  "bs-dependencies": ["@rescript/core", "@rescript/react"],
-  "bsc-flags": ["-open RescriptCore"]
-}
diff --git a/apps/docs/cypress.config.mjs b/apps/docs/cypress.config.mjs
index 613b3f9db..fbe629e46 100644
--- a/apps/docs/cypress.config.mjs
+++ b/apps/docs/cypress.config.mjs
@@ -7,7 +7,7 @@ export default defineConfig({
     openMode: 0,
   },
   e2e: {
-    baseUrl: "http://localhost:8080",
+    baseUrl: "http://localhost:5173",
     specPattern: "e2e/**/*.cy.jsx",
     excludeSpecPattern: "e2e/homepage/**",
     supportFile: "cypress/support/e2e.js",
diff --git a/apps/docs/e2e/bindings/Cypress.res b/apps/docs/e2e/bindings/Cypress.res
index a191c7679..02c77791d 100644
--- a/apps/docs/e2e/bindings/Cypress.res
+++ b/apps/docs/e2e/bindings/Cypress.res
@@ -86,7 +86,6 @@ external interceptDeferredRequest: (routeMatcher, request => promise<unit>) => c
 @val @scope("cy")
 external onBeforeLoad: (@as("window:before:load") _, window => unit) => unit = "on"
 @val @scope("cy") external spy: (console, @as("error") _) => spy = "spy"
-@get external callCount: spy => int = "callCount"
 @val @scope("Cypress")
 external automate: (@as("remote:debugger:protocol") _, automation) => promise<unit> = "automation"
 @val @scope("Cypress") external baseUrl: @as("baseUrl") _ => string = "config"
diff --git a/apps/docs/e2e/homepage/HomepageRouteCss.cy.res b/apps/docs/e2e/homepage/HomepageRouteCss.cy.res
index 1b3b679d4..222cdc73d 100644
--- a/apps/docs/e2e/homepage/HomepageRouteCss.cy.res
+++ b/apps/docs/e2e/homepage/HomepageRouteCss.cy.res
@@ -129,6 +129,13 @@ it("desktop navigation keeps its responsive logo across route stylesheets", () =
 
 it("documentation styles are prefetched only after navigation intent", () => {
   visit("/")
+  // The prerendered link is visible before its focus handler is attached. Wait
+  // for the client router and a React state update before focusing it.
+  cyWindow()->shouldPropertyExist("__reactRouterDataRouter")->ignore
+  get(`button[aria-label="Show community photo 2"]`)
+  ->click
+  ->shouldAttribute("aria-pressed", "true")
+  ->ignore
   let prefetch = `link[rel="prefetch"][as="style"][href*="/content-"]`
   get(prefetch)->should("not.exist")->ignore
   containsInRegex("a", /^Get started$/)->focusElement->ignore
diff --git a/apps/docs/functions/ogimage/[[path]]/index.png.res b/apps/docs/functions/ogimage/[[path]]/index.png.res
index 7b5d6f480..8191170d8 100644
--- a/apps/docs/functions/ogimage/[[path]]/index.png.res
+++ b/apps/docs/functions/ogimage/[[path]]/index.png.res
@@ -252,6 +252,7 @@ let renderImage = async (~assets, ~requestUrl: URLAPI.url, ~targetUrl: URLAPI.ur
   }
 }
 
+@live
 let onRequest = async ({request, params, env}: context) => {
   let requestUrl = URL.make(~url=request.url)
 
diff --git a/apps/docs/package.json b/apps/docs/package.json
index 761b69db1..d781bd29e 100644
--- a/apps/docs/package.json
+++ b/apps/docs/package.json
@@ -30,20 +30,18 @@
     "prepare": "yarn build:res && yarn build:scripts && yarn check:algolia-public-env && yarn build:update-index",
     "preview": "yarn build && static-server build/client",
     "serve:build": "static-server --host 127.0.0.1 --port 4173 build/client",
-    "reanalyze": "rescript-tools reanalyze -all-cmt .",
+    "reanalyze": "cd ../.. && yarn reanalyze",
     "test": "yarn build:res && yarn build:scripts && yarn build:generate-llms && node scripts/test.mjs",
     "test:e2e": "yarn build && bash ../../.github/scripts/homepage-e2e.sh",
     "cy:open": "yarn build:res && cypress open --e2e --browser electron",
     "cy:run": "yarn build:res && cypress run",
     "cy:e2e": "yarn build:res && cypress run --browser chrome",
     "vitest": "vitest",
-    "vitest:visual": "VISUAL_TESTS=1 vitest",
-    "vitest:update": "VISUAL_TESTS=1 VISUAL_BASELINE_UPDATE=1 vitest --run --browser.headless --update"
+    "vitest:visual": "VISUAL_TESTS=1 vitest"
   },
   "dependencies": {
     "@cloudflare/pages-plugin-vercel-og": "^0.1.2",
     "@docsearch/react": "^4.6.2",
-    "@headlessui/react": "^2.2.9",
     "@mdx-js/mdx": "^3.1.1",
     "@node-cli/static-server": "^3.1.10",
     "@react-router/node": "^8.3.1",
@@ -58,12 +56,10 @@
     "isbot": "^5.1.37",
     "mdast-util-from-markdown": "^2.0.3",
     "mdast-util-to-string": "^4.0.0",
-    "mdast-util-toc": "^7.1.0",
     "react": "^19.3.0",
     "react-dom": "^19.3.0",
     "react-router": "^8.3.1",
     "rehype-slug": "^6.0.0",
-    "rehype-stringify": "^10.0.1",
     "remark": "^15.0.1",
     "remark-comment": "^1.0.0",
     "remark-frontmatter": "^5.0.0",
@@ -86,7 +82,6 @@
     "@vitest/browser-playwright": "^5.0.0",
     "auto-image-converter": "^2.2.0",
     "babel-plugin-react-compiler": "^1.0.0",
-    "chokidar": "^4.0.3",
     "cypress": "^15.13.1",
     "cypress-real-events": "^1.15.1",
     "dotenv": "^16.6.1",
diff --git a/apps/docs/scripts/__tests__/BlogFeed_.test.res b/apps/docs/scripts/__tests__/BlogFeed_.test.res
index 94a489811..e1680ff7d 100644
--- a/apps/docs/scripts/__tests__/BlogFeed_.test.res
+++ b/apps/docs/scripts/__tests__/BlogFeed_.test.res
@@ -15,6 +15,11 @@ let blogDirectory = async () => {
   let directory = await temporaryDirectory("blog-feed-")
   let blog = join([directory, "markdown-pages", "blog"])
   await mkdir(join([blog, "archived"]), {recursive: true})
+  let _ = await Promise.all(
+    ["community", "docs/manual", "docs/guides", "docs/react", "syntax-lookup"]->Array.map(prefix =>
+      mkdir(join([directory, "markdown-pages", prefix]), {recursive: true})
+    ),
+  )
   await write(join([blog, "z-old.mdx"]), fixture("Old post", "2019-11-28"))
   await write(join([blog, "a-new.mdx"]), fixture("New post", "2026-04-28"))
   await write(join([blog, "archived", "middle.mdx"]), fixture("Archived post", "2020-01-01"))
@@ -50,9 +55,13 @@ test("RSS links match article routes, including archived posts", async () => {
     "https://rescript-lang.org/blog/archived/middle",
     "https://rescript-lang.org/blog/z-old",
   ])
-  let routes = MdxFile.scanPaths(~dir=join([directory, "markdown-pages", "blog"]), ~alias="blog")
+  let routes = DocsRouteConfig.loadRoutes(
+    ~options={
+      contentDirectory: join([directory, "markdown-pages"]),
+    },
+  ).routes->DocsRouteConfig.concretePaths
   items->Array.forEach(item => {
-    let route = item.href->String.replace("https://rescript-lang.org/", "")
+    let route = item.href->String.replace("https://rescript-lang.org", "")
     expect(routes->Array.includes(route))->toBe(true)
   })
 })
@@ -80,11 +89,11 @@ test("RSS dates use midnight UTC and XML serialization leaves dates unchanged",
 
 test("the current blog feed contains ten recent posts with existing routes", async () => {
   let items = BlogApi.RssFeed.getLatest()
-  let routes = MdxFile.scanPaths(~dir="markdown-pages/blog", ~alias="blog")
+  let routes = DocsRouteConfig.loadRoutes().routes->DocsRouteConfig.concretePaths
   expect(items->Array.length)->toBe(10)
   items->Array.forEach(item => {
     expect(
-      routes->Array.includes(item.href->String.replace("https://rescript-lang.org/", "")),
+      routes->Array.includes(item.href->String.replace("https://rescript-lang.org", "")),
     )->toBe(true)
   })
 })
diff --git a/apps/docs/scripts/extract-syntax.mjs b/apps/docs/scripts/extract-syntax.mjs
deleted file mode 100644
index f83926a4a..000000000
--- a/apps/docs/scripts/extract-syntax.mjs
+++ /dev/null
@@ -1,60 +0,0 @@
-import { globSync } from "tinyglobby";
-import path from "path";
-import fs from "fs";
-import { URL } from "url";
-
-import { defaultProcessor } from "./markdown.js";
-
-const pathname = new URL(".", import.meta.url).pathname;
-const __dirname =
-  process.platform !== "win32" ? pathname : pathname.substring(1);
-
-const processFile = (filepath) => {
-  const content = fs.readFileSync(filepath, "utf8");
-  const {
-    data: { matter },
-  } = defaultProcessor.processSync(content);
-
-  const syntaxPath = path.resolve("./misc_docs/syntax");
-  const relFilePath = path.relative(syntaxPath, filepath);
-  const parsedPath = path.parse(relFilePath);
-
-  if (
-    matter.id &&
-    matter.keywords &&
-    matter.name &&
-    matter.summary &&
-    matter.category
-  ) {
-    return {
-      file: parsedPath.name,
-      id: matter.id,
-      keywords: matter.keywords,
-      name: matter.name,
-      summary: matter.summary,
-      category: matter.category,
-    };
-  }
-
-  console.error("Metadata missing in " + parsedPath.name + ".mdx");
-  return null;
-};
-
-const extractSyntax = async (version) => {
-  const SYNTAX_MD_DIR = path.join(__dirname, "../misc_docs/syntax");
-  const SYNTAX_INDEX_FILE = path.join(
-    __dirname,
-    "../index_data/syntax_index.json",
-  );
-  const syntaxFiles = globSync(["*.md", "*.mdx"], {
-    cwd: SYNTAX_MD_DIR,
-    absolute: true,
-  });
-  const syntaxIndex = syntaxFiles
-    .map(processFile)
-    .filter(Boolean)
-    .sort((a, b) => a.name.localeCompare(b.name));
-  fs.writeFileSync(SYNTAX_INDEX_FILE, JSON.stringify(syntaxIndex), "utf8");
-};
-
-extractSyntax();
diff --git a/apps/docs/scripts/figma-fetch.js b/apps/docs/scripts/figma-fetch.js
deleted file mode 100644
index 829354ef6..000000000
--- a/apps/docs/scripts/figma-fetch.js
+++ /dev/null
@@ -1,210 +0,0 @@
-/*
- * This script fetches all color styles from a Figma team/document.
- *
- * Dependencies:
- *
- *  - node-fetch
- *
- * Due to a limitation in the Figma /styles endpoint, we need to use a
- * document for actually using the colors in a color grid. That's why
- * we're both fetching from /styles and /files below.
- *
- * For now, you need to input the page and team IDs, as well as the file keys.
- * The team ID is in the Figma URL of your team, and the file key is the long
- * string in the full URL of a Figma file. The page ID is visible in the JSON
- * payload when you call /files
- */
-// Inspect the /files JSON response, or the URL of the Figma page:
-// https://www.figma.com/file/<file key>/Some-Name?node-id=<encoded page ID, like '183%3A0 = 183:0'>
-const PAGE_ID = "312:2";
-// Go to a team URL and get the ID:
-// https://www.figma.com/files/team/<team id>/Team-Name
-const TEAM_ID = "977136127691894995";
-// Get this from the URL of a single file:
-// https://www.figma.com/file/<file key>/Some-Name?node-id=182%3A0
-const FILE_KEY = "FsQT67sVviqPXhYoTbpfIb";
-
-const fetch = require("node-fetch");
-const fs = require("fs");
-const { promisify } = require("util");
-const path = require("path");
-
-const writeFile = promisify(fs.writeFile);
-
-const personalToken = process.env.FIGMA_PERSONAL_TOKEN;
-
-if (!personalToken) {
-  console.error("Please pass FIGMA_PERSONAL_TOKEN to this script and re-run");
-  process.exit(1);
-}
-
-const figmaBase = "https://api.figma.com/";
-
-const rgbToHex = (r, g, b) => {
-  const color =
-    "#" + ((1 << 24) + (r << 16) + (g << 8) + b).toString(16).slice(1);
-
-  if (color.length > 7) {
-    return color.slice(0, 7);
-  }
-  return color;
-};
-
-const slugify = (str) => str.toLowerCase().replace(/\s+/, "-");
-
-const doFetch = (url) =>
-  fetch(`${figmaBase}v1${url}`, {
-    headers: {
-      "X-Figma-Token": personalToken,
-    },
-  })
-    .then((res) => {
-      if (!res.ok) {
-        throw new Error(`Status: ${res.status}`);
-      }
-
-      return res.json();
-    })
-    .then((json) => {
-      if (json.error || (json.status && json.status !== 200)) {
-        throw new Error(json.error || `Status ${json.status}: ${json.err}`);
-      }
-
-      return json;
-    });
-
-const fetchStyles = async (teamId) => {
-  const json = await doFetch(`/teams/${teamId}/styles?page_size=99`);
-
-  return json.meta.styles;
-};
-
-const fetchFile = async (key) => await doFetch(`/files/${key}`);
-
-// eslint-disable-next-line
-const fetchStyle = async (key) => await doFetch(`/styles/${key}`);
-
-// Retrieves all elements from groups from a given root
-const flattenTree = (root) => {
-  let ret = [];
-
-  let { children = [] } = root;
-
-  for (let i = 0; i < children.length; i++) {
-    const el = children[i];
-    const type = el.type;
-
-    if (type === "GROUP") {
-      let sub = flattenTree(el);
-      ret = ret.concat(sub);
-    } else {
-      ret.push(el);
-    }
-  }
-
-  return ret;
-};
-
-/**
- * Fetches all color styles from the Figma doc and returns an object
- * array with this shape:
- * 
- * ```json
- * {
- *   "key": "206f4e4753e2e8f2e7ac24744bd1843ac206ead1",
- *   "file_key": "bMb57SxaX0ugGmWMmi7KVzIP",
- *   "node_id": "189:85",
- *   "style_type": "FILL",
- *   "thumbnail_url": "<url>",
- *   "name": "Green 10",
- *   "description": "Desc",
- *   "created_at": "2019-02-16T16:00:39.126Z",
- *   "updated_at": "2019-02-16T16:00:39.126Z",
- *   "user": {
- *     "id": "575212366706412863",
- *     "handle": "Johan Brook",
- *     "img_url": "<url>"
- *   },
- *   "sort_position": "=O",
- *   "color": "#ebfff7"
- * }
- ```
- */
-const fetchAllColorStyles = async () => {
-  const styles = await fetchStyles(TEAM_ID);
-  const file = await fetchFile(FILE_KEY);
-
-  const root = file.document.children[0];
-
-  if (!root) {
-    return [];
-  }
-
-  const canvas = root.children.find((page) => {
-    return page.id === PAGE_ID;
-  });
-
-  const isRectOrVector = (c) => c.type === "RECTANGLE" || c.type === "VECTOR";
-
-  console.log(JSON.stringify(canvas, null, 2));
-
-  const allElements = flattenTree(canvas);
-
-  return allElements
-    .filter(
-      (c) => isRectOrVector(c) && c.styles != null && c.styles.fill != null,
-    )
-    .map((c) => {
-      const { r, g, b, a } = c.fills[0].color;
-      const { opacity = a } = c.fills[0];
-      const nodeId = c.styles.fill;
-
-      let color;
-      if (opacity < 1) {
-        color = `rgba(${(r * 255).toFixed(0)}, ${(g * 255).toFixed(0)}, ${(b * 255).toFixed(0)}, ${opacity.toFixed(2)})`;
-      } else {
-        color = rgbToHex(r * 256, g * 256, b * 256);
-      }
-
-      return {
-        // Cross reference to the array of styles, since Figma doesn't
-        // give us the HEX color codes in their /styles endpoint .. :(
-        ...styles.find((s) => s.node_id === nodeId),
-        color,
-      };
-    })
-    .filter((c) => c.name != null);
-};
-
-/**
- * Calls Figma's API and saves to a `colors.js` file in the project root.
- */
-const writeColorsFromFigma = async () => {
-  const styles = await fetchAllColorStyles();
-
-  if (!styles) {
-    throw new Error("No styles found");
-  }
-
-  const colors = styles
-    .sort((a, b) => (a.sort_position < b.sort_position ? -1 : 1))
-    .map((s) => {
-      return (
-        (s.description ? `    /** ${s.description} */\n` : "") +
-        `    '${slugify(s.name)}': '${s.color}',`
-      );
-    })
-    .join("\n");
-
-  const fileContents = `/* eslint-disable */
-/* Updated at ${new Date().toUTCString()}*/
-module.exports = {
-${colors}
-}`;
-
-  await writeFile(path.resolve(__dirname + "/../colors.js"), fileContents);
-
-  console.log(`Wrote ${styles.length} colors to colors.js`);
-};
-
-writeColorsFromFigma().catch(console.error);
diff --git a/apps/docs/scripts/markdown.js b/apps/docs/scripts/markdown.js
deleted file mode 100644
index 5e13cd52f..000000000
--- a/apps/docs/scripts/markdown.js
+++ /dev/null
@@ -1,72 +0,0 @@
-import { unified } from "unified";
-import remarkParse from "remark-parse";
-import remarkGfm from "remark-gfm";
-import remarkFrontmatter from "remark-frontmatter";
-import remarkRehype from "remark-rehype";
-import rehypeSlug from "rehype-slug";
-import rehypeStringify from "rehype-stringify";
-import { matter } from "vfile-matter";
-
-const remarkVfileMatter = (options) => (tree, file) => {
-  matter(file);
-};
-
-const remarkCodeblocks = (options) => (tree, file) => {
-  const { children } = tree;
-  const codeblocks = {};
-
-  const formatter = (value) => {
-    // Strip newlines and weird spacing
-    return value
-      .replace(/\n/g, " ")
-      .replace(/\s+/g, " ")
-      .replace(/\(\s+/g, "(")
-      .replace(/\s+\)/g, ")");
-  };
-
-  children.forEach((child) => {
-    if (child.type === "code" && child.value) {
-      const { meta, lang } = child;
-      if (meta === "sig" && lang === "re") {
-        if (codeblocks[lang] == null) {
-          codeblocks[lang] = [];
-        }
-        codeblocks[lang].push(formatter(child.value));
-      }
-    }
-  });
-
-  Object.assign(file.data, { codeblocks });
-};
-
-const rehypeHeaders = (options) => (tree, file) => {
-  const headers = [];
-  let mainHeader;
-  tree.children.forEach((child) => {
-    if (child.tagName === "h1") {
-      if (child.children.length > 0) {
-        mainHeader = child.children.map((element) => element.value).join("");
-      }
-    }
-    if (child.tagName === "h2") {
-      if (child.children.length > 0) {
-        const id = child.properties.id || "";
-        const name = child.children.map((element) => element.value).join("");
-        headers.push({ name, href: id });
-      }
-    }
-  });
-
-  Object.assign(file.data, { headers, mainHeader });
-};
-
-export const defaultProcessor = unified()
-  .use(remarkParse)
-  .use(remarkGfm)
-  .use(remarkFrontmatter, [{ type: "yaml", marker: "-" }])
-  .use(remarkVfileMatter)
-  .use(remarkCodeblocks)
-  .use(remarkRehype)
-  .use(rehypeSlug)
-  .use(rehypeHeaders)
-  .use(rehypeStringify);
diff --git a/apps/docs/scripts/sync-redirects.mjs b/apps/docs/scripts/sync-redirects.mjs
deleted file mode 100644
index 356897b1c..000000000
--- a/apps/docs/scripts/sync-redirects.mjs
+++ /dev/null
@@ -1,21 +0,0 @@
-import * as path from "node:path";
-import * as fs from "node:fs";
-
-import nextConfig from "../next.config.mjs";
-
-const redirectsConfig = await nextConfig.redirects();
-
-/**
- * @param {{
- *   source: string,
- *   destination: string,
- *   permanent: boolean,
- * }} config
- * @return {string}
- */
-function lineFormat({ source, destination, permanent }) {
-  return `${source}  ${destination}  ${permanent ? 308 : 307}`;
-}
-
-const redirects = redirectsConfig.map(lineFormat).join("\n");
-const redirectsFile = path.join(import.meta.dirname, "../public/_redirects");
diff --git a/apps/docs/scripts/watch-tests.mjs b/apps/docs/scripts/watch-tests.mjs
deleted file mode 100644
index 950970394..000000000
--- a/apps/docs/scripts/watch-tests.mjs
+++ /dev/null
@@ -1,49 +0,0 @@
-import chokidar from "chokidar";
-// We switch from 'exec' to 'spawn' and 'execSync' is not needed
-import { spawn } from "child_process";
-
-// 1. Define the folder to watch
-const folderToWatch = "markdown-pages";
-
-// 2. Define the command and arguments to run
-// The command is 'node' and the arguments are the script and its options
-const command = "node";
-const args = ["scripts/test-hrefs.mjs"];
-
-console.log(`\n👀 Watching for changes in: ${folderToWatch}`);
-console.log(`\n➡️  Command to run on change: ${command} ${args.join(" ")}\n`);
-
-// 3. Initialize the watcher
-chokidar
-  .watch(folderToWatch, {
-    ignored: /(^|[\/\\])\../,
-    persistent: true,
-  })
-  .on("change", (path) => {
-    console.log(`\n--- 📝 File changed: ${path} ---`);
-
-    // Use spawn instead of exec to run the script
-    const child = spawn(command, args, {
-      // *** KEY CHANGE: 'inherit' is used to connect the child's stdout/stderr
-      // to the parent process's (your watcher script's) stdout/stderr. ***
-      stdio: "inherit",
-      shell: true, // Use 'shell: true' if the script is simple, or if it needs shell features
-    });
-
-    // The 'close' event fires when the process exits
-    child.on("close", (code) => {
-      if (code !== 0) {
-        // Log a custom error message if the script fails
-        console.log(`\n❌ Script finished with exit code ${code}`);
-      } else {
-        // Log a success message
-        console.log(`\n✅ Script execution complete.`);
-      }
-      console.log(`\nWatching again...\n`);
-    });
-
-    // Handle process errors (e.g., command not found)
-    child.on("error", (err) => {
-      console.error(`\n💣 Failed to start child process: ${err}`);
-    });
-  });
diff --git a/apps/docs/src/bindings/DocsRouteConfig.res b/apps/docs/src/bindings/DocsRouteConfig.res
new file mode 100644
index 000000000..797a4eda8
--- /dev/null
+++ b/apps/docs/src/bindings/DocsRouteConfig.res
@@ -0,0 +1,9 @@
+type route
+type config = {routes: array<route>}
+type options = {contentDirectory?: string}
+
+@module("../../route-config.mjs")
+external loadRoutes: (~options: options=?) => config = "loadRoutes"
+
+@module("../../generate-route-types.mjs")
+external concretePaths: array<route> => array<string> = "concretePaths"
diff --git a/apps/docs/src/bindings/Env.res b/apps/docs/src/bindings/Env.res
index 29e21321d..b55591838 100644
--- a/apps/docs/src/bindings/Env.res
+++ b/apps/docs/src/bindings/Env.res
@@ -16,31 +16,8 @@ external algoliaAppIdRaw: option<string> = "import.meta.env.VITE_ALGOLIA_APP_ID"
 external algoliaIndexNameRaw: option<string> = "import.meta.env.VITE_ALGOLIA_INDEX_NAME"
 external algoliaSearchApiKeyRaw: option<string> = "import.meta.env.VITE_ALGOLIA_SEARCH_API_KEY"
 
-let algoliaMissingPublicVars = AlgoliaConfig.missingPublicVars(
-  ~appId=algoliaAppIdRaw,
-  ~indexName=algoliaIndexNameRaw,
-  ~searchApiKey=algoliaSearchApiKeyRaw,
-)
-
 let algoliaPublicConfig = AlgoliaConfig.publicConfigFrom(
   ~appId=algoliaAppIdRaw,
   ~indexName=algoliaIndexNameRaw,
   ~searchApiKey=algoliaSearchApiKeyRaw,
 )
-
-let algolia_app_id = switch algoliaPublicConfig {
-| Some(config) => config.appId
-| None => ""
-}
-
-let algolia_index_name = switch algoliaPublicConfig {
-| Some(config) => config.indexName
-| None => ""
-}
-
-let algolia_search_api_key = switch algoliaPublicConfig {
-| Some(config) => config.searchApiKey
-| None => ""
-}
-
-let algolia_read_api_key = algolia_search_api_key
diff --git a/apps/docs/src/bindings/HeadlessUI.res b/apps/docs/src/bindings/HeadlessUI.res
deleted file mode 100644
index e54bd7148..000000000
--- a/apps/docs/src/bindings/HeadlessUI.res
+++ /dev/null
@@ -1,77 +0,0 @@
-module Menu = {
-  type state = {@as("open") open_: bool}
-
-  @module("@headlessui/react") @react.component
-  external make: (
-    ~_as: [#div]=?,
-    ~className: string=?,
-    ~children: state => React.element,
-  ) => React.element = "Menu"
-
-  module Button = {
-    @module("@headlessui/react") @scope("Menu") @react.component
-    external make: (~className: string=?, ~children: React.element) => React.element = "Button"
-  }
-
-  module Items = {
-    @module("@headlessui/react") @scope("Menu") @react.component
-    external make: (~static: bool=?, ~children: React.element) => React.element = "Items"
-  }
-
-  module Item = {
-    type state = {active: bool}
-    @module("@headlessui/react") @scope("Menu") @react.component
-    external make: (~children: state => React.element) => React.element = "Item"
-  }
-}
-
-module Listbox = {
-  type state = {@as("open") open_: bool}
-
-  @module("@headlessui/react") @react.component
-  external make: (
-    ~value: 'state=?,
-    ~onChange: 'state => unit=?,
-    ~className: string=?,
-    ~children: state => React.element,
-  ) => React.element = "Listbox"
-
-  module Button = {
-    @module("@headlessui/react") @scope("Listbox") @react.component
-    external make: (~className: string=?, ~children: React.element=?) => React.element = "Button"
-  }
-
-  module Options = {
-    @module("@headlessui/react") @scope("Listbox") @react.component
-    external make: (
-      ~static: bool=?,
-      ~className: string=?,
-      ~children: React.element,
-    ) => React.element = "Options"
-  }
-
-  module Option = {
-    type state = {selected: bool, active: bool}
-    @module("@headlessui/react") @scope("Listbox") @react.component
-    external make: (
-      ~children: state => React.element,
-      ~value: 'item,
-      ~disabled: bool=?,
-    ) => React.element = "Option"
-  }
-}
-
-module Transition = {
-  @module("@headlessui/react") @react.component
-  external make: (
-    ~appear: bool=?,
-    ~show: bool,
-    ~enter: string=?,
-    ~enterFrom: string=?,
-    ~enterTo: string=?,
-    ~leave: string=?,
-    ~leaveFrom: string=?,
-    ~leaveTo: string=?,
-    ~children: React.element,
-  ) => React.element = "Transition"
-}
diff --git a/apps/docs/src/bindings/Jsdom.res b/apps/docs/src/bindings/Jsdom.res
deleted file mode 100644
index 43f12c740..000000000
--- a/apps/docs/src/bindings/Jsdom.res
+++ /dev/null
@@ -1,5 +0,0 @@
-type window = {document: WebAPI.DOMAPI.document}
-type t = {window: WebAPI.DOMAPI.window}
-
-@module("jsdom") @new
-external make: string => t = "JSDOM"
diff --git a/apps/docs/src/bindings/Mdast.res b/apps/docs/src/bindings/Mdast.res
index c9fd2c016..de3d531a6 100644
--- a/apps/docs/src/bindings/Mdast.res
+++ b/apps/docs/src/bindings/Mdast.res
@@ -8,44 +8,3 @@ external toString: {..} => string = "toString"
 
 @module("unist-util-visit")
 external visit: (tree, string, {..} => unit) => unit = "visit"
-
-@unboxed
-type listType =
-  | @as("list") List
-  | @as("listItem") ListItem
-  | @as("paragraph") Paragraph
-  | @as("link") Link
-
-type rec listContent = {
-  @as("type") _type: listType,
-  url?: Path.t,
-  title?: string,
-  value: string,
-  children?: array<listContent>,
-}
-
-type result = {
-  index?: int,
-  endIndex?: int,
-  map: listContent,
-}
-
-type tocOptions = {maxDepth?: int}
-
-@module("mdast-util-toc")
-external toc: (tree, tocOptions) => result = "toc"
-
-let rec reduceHeaders = (list: listContent, links: dict<Path.t>) => {
-  if list._type == Link {
-    let child = list.children->Option.flatMap(children => children[0])
-    switch (list.url, child) {
-    | (Some(url), Some(child)) => links->Dict.set(child.value, url)
-    | (_, _) => ()
-    }
-  } else {
-    switch list.children {
-    | Some(children) => children->Array.forEach(child => reduceHeaders(child, links))
-    | None => ()
-    }
-  }
-}
diff --git a/apps/docs/src/bindings/Remark.res b/apps/docs/src/bindings/Remark.res
deleted file mode 100644
index 44314c8e4..000000000
--- a/apps/docs/src/bindings/Remark.res
+++ /dev/null
@@ -1,15 +0,0 @@
-type io
-type processor
-type plugin = processor => io
-
-@unboxed
-type pluginOrOption = Plugin(plugin)
-
-@unboxed
-type rec remarkPlugin =
-  | Plugin(processor => io)
-  | WithOptions(array<pluginOrOption>)
-
-@module("remark-comment") external comment: plugin = "default"
-@module("remark-gfm") external gfm: plugin = "default"
-@module("remark-frontmatter") external frontmatter: plugin = "default"
diff --git a/apps/docs/src/common/Constants.res b/apps/docs/src/common/Constants.res
index 9183573f6..79d3a924c 100644
--- a/apps/docs/src/common/Constants.res
+++ b/apps/docs/src/common/Constants.res
@@ -1,56 +1,8 @@
-type env = {
-  @as("VITE_VERSION_LATEST")
-  latestVersion: string,
-  @as("VITE_VERSION_NEXT")
-  nextVersion: string,
-}
+external latestVersion: string = "import.meta.env.VITE_VERSION_LATEST"
 
-@scope("import.meta") external env: env = "env"
+let docSearchVersionTokens = [latestVersion->Semver.tryGetMajorString, "latest"]
 
-type versionMapping = {
-  latest: string,
-  next: string,
-}
-
-let versions = {
-  latest: env.latestVersion,
-  next: env.nextVersion,
-}
-
-let latestVersion = (versions.latest, versions.latest->Semver.tryGetMajorString)
-
-let docSearchVersionTokens = {
-  let (_, majorVersion) = latestVersion
-  [majorVersion, "latest"]
-}
-
-// This is used for the version dropdown in the manual layouts
-let allManualVersions = [
-  latestVersion,
-  ("v10.0.0", "v9.1 - v10.1"),
-  ("v9.0.0", "v8.2 - v9.0"),
-  ("v8.0.0", "v6.0 - v8.2"),
-]
-
-let nextVersion =
-  versions.latest === versions.next
-    ? None
-    : Some(versions.next, versions.next->Semver.tryGetMajorString)
-
-let stdlibVersions =
-  versions.latest === "v11.0.0" ? [latestVersion] : [("v11.0.0", "v11"), latestVersion]
-
-let latestReactVersion = "latest"
-let allReactVersions = [
-  ("latest", latestReactVersion),
-  ("v0.11.0", "v0.11.0"),
-  ("v0.10.0", "v0.10.0"),
-]
-
-let dropdownLabelNext = "--- Next ---"
-let dropdownLabelReleased = "--- Released ---"
-
-// Used for the DocsOverview and collapsible navigation
+// Used for the DocsOverview
 let languageManual = [
   ("Overview", "/docs/manual/introduction"),
   ("Language Features", "/docs/manual/overview"),
diff --git a/apps/docs/src/common/DateStr.res b/apps/docs/src/common/DateStr.res
index 2eaf948ba..8a2cddffb 100644
--- a/apps/docs/src/common/DateStr.res
+++ b/apps/docs/src/common/DateStr.res
@@ -3,7 +3,6 @@ type t = string
 // Used to prevent issues with webkit based date representations
 let parse = (dateStr: string): Date.t => dateStr->String.replaceRegExp(/-/g, "/")->Date.fromString
 
-let fromDate = date => Date.toString(date)
 let toDate = dateStr => parse(dateStr)
 
 // ISO date-only strings represent midnight UTC, independent of the build timezone.
diff --git a/apps/docs/src/common/DateStr.resi b/apps/docs/src/common/DateStr.resi
index 0c44564f4..2f958b052 100644
--- a/apps/docs/src/common/DateStr.resi
+++ b/apps/docs/src/common/DateStr.resi
@@ -3,6 +3,5 @@ type t
 
 external fromString: string => t = "%identity"
 
-let fromDate: Date.t => t
 let toDate: t => Date.t
 let toUTCDate: t => Date.t
diff --git a/apps/docs/src/common/EnableCollapsibleNavbar.res b/apps/docs/src/common/EnableCollapsibleNavbar.res
deleted file mode 100644
index 2a841e8cf..000000000
--- a/apps/docs/src/common/EnableCollapsibleNavbar.res
+++ /dev/null
@@ -1,20 +0,0 @@
-/**
- * Hides the navbar when scrolling down on mobile, and causes it to reappear when scrolling back up.
- */
-@jsx.component
-let make = (~children, ~isEnabled) => {
-  let scrollDir = Hooks.useScrollDirection()
-  if isEnabled {
-    <div
-      className={switch scrollDir {
-      | Up(_) => "group nav-appear"
-
-      | Down(_) => "group nav-disappear"
-      }}
-    >
-      children
-    </div>
-  } else {
-    children
-  }
-}
diff --git a/apps/docs/src/common/Hooks.res b/apps/docs/src/common/Hooks.res
index 99b79381f..1e8ae16ee 100644
--- a/apps/docs/src/common/Hooks.res
+++ b/apps/docs/src/common/Hooks.res
@@ -45,31 +45,9 @@ let useScrollDirection = (~topMargin=80, ~threshold=20) => {
       })
     }
 
-    // let onScroll = Util.debounce(onScroll, 50)
-
     WebAPI.Window.addEventListener(window, Scroll, onScroll)
     Some(() => WebAPI.Window.removeEventListener(window, Scroll, onScroll))
   }, [topMargin, threshold])
 
   scrollDir
 }
-
-type mediaQueryListEvent = {matches: bool}
-
-let useMediaQuery = (query: string) => {
-  let (matches, setMatches) = React.useState(() => {
-    false
-  })
-
-  React.useEffect(() => {
-    let mediaQueryList = WebAPI.Window.matchMedia(window, query)
-    setMatches(_ => mediaQueryList.matches)
-
-    let listener = (e: mediaQueryListEvent) => setMatches(_ => e.matches)
-
-    WebAPI.MediaQueryList.addEventListener(mediaQueryList, Change, listener)
-    Some(() => WebAPI.MediaQueryList.removeEventListener(mediaQueryList, Change, listener))
-  }, [query])
-
-  matches
-}
diff --git a/apps/docs/src/common/Url.res b/apps/docs/src/common/Url.res
index 7f56de3fc..c799fea51 100644
--- a/apps/docs/src/common/Url.res
+++ b/apps/docs/src/common/Url.res
@@ -1,9 +1,3 @@
-type t = {
-  fullpath: array<string>,
-  base: array<string>,
-  pagepath: array<string>,
-}
-
 type breadcrumb = {
   name: string,
   href: string,
@@ -15,30 +9,6 @@ let prettyString = (str: string) => {
   str->camelCase->capitalize
 }
 
-let parse = (route: string): t => {
-  let routePath = route->String.split("/")->Array.filter(s => s !== "")
-
-  {
-    fullpath: routePath,
-    base: routePath,
-    pagepath: [],
-  }
-}
-
-@unboxed
-type storageKey =
-  | @as("manual_version") Manual
-  | @as("react_version") React
-  | @as("playground_version") Playground
-
-let getVersionFromStorage = (key: storageKey) => {
-  try {
-    WebAPI.Storage.getItem(window.localStorage, (key :> string))->Null.toOption
-  } catch {
-  | JsExn(_) => None
-  }
-}
-
 let normalizePath = string => {
   string->String.replaceRegExp(/\/$/, "")->String.toLocaleLowerCase
 }
diff --git a/apps/docs/src/common/Url.resi b/apps/docs/src/common/Url.resi
index e0ce5d1b3..708c5a322 100644
--- a/apps/docs/src/common/Url.resi
+++ b/apps/docs/src/common/Url.resi
@@ -1,27 +1,10 @@
-type t = {
-  fullpath: array<string>,
-  base: array<string>,
-  pagepath: array<string>,
-}
-
-// Moved here from the original sidebar URL helper.
 type breadcrumb = {
   name: string,
   href: string,
 }
 
-let parse: string => t
-
 let prettyString: string => string
 
-@unboxed
-type storageKey =
-  | @as("manual_version") Manual
-  | @as("react_version") React
-  | @as("playground_version") Playground
-
-let getVersionFromStorage: storageKey => option<string>
-
 let normalizePath: string => string
 
 let normalizeAnchor: string => string
diff --git a/apps/docs/src/common/Util.res b/apps/docs/src/common/Util.res
index aabbf2221..4e2f476b4 100644
--- a/apps/docs/src/common/Util.res
+++ b/apps/docs/src/common/Util.res
@@ -15,8 +15,6 @@ module String = {
     ->String.split(" ")
     ->Array.map(str => str->String.length > 2 ? str->String.capitalize : str)
     ->Array.join(" ")
-
-  let leadingSlash = str => str->String.startsWith("/") ? str : "/" ++ str
 }
 
 module Url = {
@@ -42,34 +40,6 @@ module Url = {
     }
   }
 
-  let getRootPath = path => {
-    if path->Stdlib.String.includes("docs/manual") {
-      "/docs/manual"
-    } else if path->Stdlib.String.includes("docs/react") {
-      "/docs/react"
-    } else {
-      ""
-    }
-  }
-
-  let createRelativePath = (currentPath, href) => {
-    if (
-      href->Stdlib.String.includes("docs/manual") ||
-      href->Stdlib.String.includes("docs/react") ||
-      href->Stdlib.String.includes("community") ||
-      href->Stdlib.String.includes("blog") ||
-      href->Stdlib.String.includes("try") ||
-      href->Stdlib.String.includes("/llms/") ||
-      href->Stdlib.String.startsWith("#")
-    ) {
-      href
-    } else {
-      let rootPath = getRootPath(currentPath)
-      let href = href->Stdlib.String.replace("docs/manual", "")
-      (rootPath ++ href->String.leadingSlash)->Stdlib.String.replaceAll("//", "/")
-    }
-  }
-
   let makeOpenGraphImageUrl = url => {
     `${baseUrl()}ogimage/index.png?url=${encodeURIComponent(url)}`
   }
@@ -88,17 +58,3 @@ module Date = {
     dateTimeFormat("en-US", {"month": "short", "day": "numeric", "year": "numeric"})->format(date)
   }
 }
-
-/**
- * 防抖
- * @param fn the func to debounce
- * @param delay milliseconds
- * @returns new debounced function
- */
-let debounce = (fn: unit => unit, delay: int) => {
-  let timer = ref(None)
-  () => {
-    timer.contents->Option.forEach(clearTimeout)
-    timer := Some(setTimeout(~handler=fn, ~timeout=delay))
-  }
-}
diff --git a/apps/docs/src/common/Util.resi b/apps/docs/src/common/Util.resi
index c395ff634..021aac8c0 100644
--- a/apps/docs/src/common/Util.resi
+++ b/apps/docs/src/common/Util.resi
@@ -1,8 +1,6 @@
 module Url: {
   let isAbsolute: string => bool
   let makeAbsoluteUrl: string => string
-  let getRootPath: string => string
-  let createRelativePath: (string, string) => string
   let makeOpenGraphImageUrl: string => string
 }
 
@@ -10,11 +8,8 @@ module String: {
   let camelCase: string => string
   let capitalize: string => string
   let capitalizeSentence: string => string
-  let leadingSlash: string => string
 }
 
 module Date: {
   let toDayMonthYear: Date.t => string
 }
-
-let debounce: (unit => unit, int) => unit => unit
diff --git a/apps/docs/src/components/ApiIntro.res b/apps/docs/src/components/ApiIntro.res
deleted file mode 100644
index f74f3fc88..000000000
--- a/apps/docs/src/components/ApiIntro.res
+++ /dev/null
@@ -1,2 +0,0 @@
-@react.component
-let make = (~children) => <div className="my-10"> children </div>
diff --git a/apps/docs/src/components/ApiIntro.resi b/apps/docs/src/components/ApiIntro.resi
deleted file mode 100644
index 940ed3d87..000000000
--- a/apps/docs/src/components/ApiIntro.resi
+++ /dev/null
@@ -1,2 +0,0 @@
-@react.component
-let make: (~children: React.element) => React.element
diff --git a/apps/docs/src/components/ApiMarkdown.res b/apps/docs/src/components/ApiMarkdown.res
deleted file mode 100644
index e517f4fa9..000000000
--- a/apps/docs/src/components/ApiMarkdown.res
+++ /dev/null
@@ -1,39 +0,0 @@
-open Markdown
-/*
-module H1 = {
-  @react.component
-  let make = (~children) =>
-    <h1 className="text-48 tracking-tight leading-tight mb-2 font-sans font-medium text-gray-90"> children </h1>
-}*/
-
-module H2 = {
-  // We will currently hide the headline, to keep the structure,
-  // but having an Elm like documentation
-  @react.component
-  let make = (~id, ~children, ~title) => <>
-    <div className="mb-10 mt-20" />
-    <Markdown.H2 id title> children </Markdown.H2>
-  </>
-}
-
-type aliasH2 = Markdown.H2.props<string, React.element, string> => React.element
-external asMarkdownH2: 'a => aliasH2 = "%identity"
-
-let default = {
-  MarkdownComponents.intro: Intro.make,
-  p: P.make,
-  li: Li.make,
-  h1: H1.make,
-  h2: H2.make->asMarkdownH2,
-  h3: H3.make,
-  h4: H4.make,
-  h5: H5.make,
-  ul: Ul.make,
-  ol: Ol.make,
-  a: A.make,
-  thead: Thead.make,
-  th: Th.make,
-  td: Td.make,
-  pre: Pre.make,
-  code: Code.make,
-}
diff --git a/apps/docs/src/components/ApiMarkdown.resi b/apps/docs/src/components/ApiMarkdown.resi
deleted file mode 100644
index 1129e877b..000000000
--- a/apps/docs/src/components/ApiMarkdown.resi
+++ /dev/null
@@ -1 +0,0 @@
-let default: MarkdownComponents.t
diff --git a/apps/docs/src/components/CodeMirrorSetup.js b/apps/docs/src/components/CodeMirrorSetup.js
deleted file mode 100644
index 6e7ef254e..000000000
--- a/apps/docs/src/components/CodeMirrorSetup.js
+++ /dev/null
@@ -1,19 +0,0 @@
-// CodeMirror setup and mode imports
-import CodeMirror from "codemirror";
-
-import "codemirror/lib/codemirror.css";
-
-// Import required modes and addons
-import "codemirror/mode/javascript/javascript";
-import "../../plugins/cm-rescript-mode.js";
-import "../../plugins/cm-reason-mode.js";
-
-// Import vim keymap if needed
-import "codemirror/keymap/vim";
-
-// Make sure CodeMirror is available globally
-if (typeof window !== "undefined") {
-  window.CodeMirror = CodeMirror;
-}
-
-export default CodeMirror;
diff --git a/apps/docs/src/components/CommunityContent.res b/apps/docs/src/components/CommunityContent.res
index cc79fe3d7..9e2f601c5 100644
--- a/apps/docs/src/components/CommunityContent.res
+++ b/apps/docs/src/components/CommunityContent.res
@@ -59,5 +59,3 @@ let make = () => {
     <LinkCards />
   </div>
 }
-
-let default = make
diff --git a/apps/docs/src/components/Image.res b/apps/docs/src/components/Image.res
deleted file mode 100644
index e99f9818d..000000000
--- a/apps/docs/src/components/Image.res
+++ /dev/null
@@ -1,10 +0,0 @@
-@react.component
-let default = (
-  ~src: string,
-  ~size=#large,
-  ~withShadow=false,
-  ~caption: option<string>=?,
-  ~className: option<string>=?,
-) => {
-  <Markdown.Image src size withShadow ?caption ?className />
-}
diff --git a/apps/docs/src/components/Intro.res b/apps/docs/src/components/Intro.res
deleted file mode 100644
index 04c24c397..000000000
--- a/apps/docs/src/components/Intro.res
+++ /dev/null
@@ -1,2 +0,0 @@
-@react.component
-let default = (~children) => <Markdown.Intro> children </Markdown.Intro>
diff --git a/apps/docs/src/components/Markdown.resi b/apps/docs/src/components/Markdown.resi
index 51ac8b922..c85bcf5ed 100644
--- a/apps/docs/src/components/Markdown.resi
+++ b/apps/docs/src/components/Markdown.resi
@@ -30,14 +30,6 @@ module UrlBox: {
   let make: (~text: string, ~href: string, ~children: React.element) => React.element
 }
 
-// Used for creating invisible, hoverable <a> anchors for url linking
-module Anchor: {
-  /* let idFormat = (id: string): string => id */
-
-  @react.component
-  let make: (~id: string, ~title: string=?) => React.element
-}
-
 module H1: {
   @react.component
   let make: (~id: string=?, ~title: string=?, ~children: React.element) => React.element
diff --git a/apps/docs/src/components/Navigation.res b/apps/docs/src/components/Navigation.res
deleted file mode 100644
index 4502e767d..000000000
--- a/apps/docs/src/components/Navigation.res
+++ /dev/null
@@ -1,283 +0,0 @@
-module Link = ReactRouter.Link
-
-let link = "no-underline block hover:cursor-pointer hover:text-fire-30 mb-px"
-let activeLink = "font-medium text-fire-30 border-b border-fire"
-
-let linkOrActiveLink = (~target: Path.t, ~route: Path.t) => target === route ? activeLink : link
-
-let linkOrActiveLinkSubroute = (~target: Path.t, ~route: Path.t) =>
-  String.startsWith((route :> string), (target :> string)) ? activeLink : link
-
-let isActiveLink = (~includes: string, ~excludes: option<string>=?, ~route: Path.t) => {
-  let route = (route :> string)
-  // includes means we want the lnk to be active if it contains the expected text
-  let includes = route->String.includes(includes)
-  // excludes allows us to not have links be active even if they do have the includes text
-  let excludes = switch excludes {
-  | Some(excludes) => route->String.includes(excludes)
-  | None => false
-  }
-  includes && !excludes ? activeLink : link
-}
-
-let isDocRoute = (~route: Path.t) => {
-  let route = (route :> string)
-  route->String.includes("/docs/") || route->String.includes("/syntax-lookup") || route == "/docs"
-}
-
-let isDocRouteActive = (~route: Path.t) => isDocRoute(~route) ? activeLink : link
-
-module MobileNav = {
-  @react.component
-  let make = (~route: Path.t) => {
-    let base = "font-normal mx-4 py-5 text-gray-40 border-b border-gray-80"
-    let extLink = "block hover:cursor-pointer hover:text-white text-gray-60"
-    <div className="border-gray-80 border-tn">
-      <ul>
-        <li className=base>
-          <Link prefetch={#intent} to=#"/try" className={linkOrActiveLink(~target=#"/try", ~route)}>
-            {React.string("Playground")}
-          </Link>
-        </li>
-        <li className=base>
-          <Link
-            prefetch={#intent}
-            to=#"/blog"
-            className={linkOrActiveLinkSubroute(~target=#"/blog", ~route)}
-          >
-            {React.string("Blog")}
-          </Link>
-        </li>
-        <li className=base>
-          <Link
-            prefetch={#intent}
-            to=#"/community/overview"
-            className={linkOrActiveLink(~target=#"/community/overview", ~route)}
-          >
-            {React.string("Community")}
-          </Link>
-        </li>
-        <li className=base>
-          <Link
-            prefetch={#intent}
-            to=#"/packages"
-            className={linkOrActiveLink(~target=#"/packages", ~route)}
-          >
-            {React.string("Packages")}
-          </Link>
-        </li>
-        <li className=base>
-          <a href=Constants.xHref rel="noopener noreferrer" className=extLink>
-            {React.string("X")}
-          </a>
-        </li>
-        <li className=base>
-          <a href=Constants.blueSkyHref rel="noopener noreferrer" className=extLink>
-            {React.string("Bluesky")}
-          </a>
-        </li>
-        <li className=base>
-          <a href=Constants.githubHref rel="noopener noreferrer" className=extLink>
-            {React.string("GitHub")}
-          </a>
-        </li>
-        <li className=base>
-          <a href=Constants.discourseHref rel="noopener noreferrer" className=extLink>
-            {React.string("Forum")}
-          </a>
-        </li>
-      </ul>
-    </div>
-  }
-}
-
-/* isOverlayOpen: if the mobile sidebar is toggled open */
-@react.component
-let make = (~fixed=true, ~isOverlayOpen: bool, ~setOverlayOpen: (bool => bool) => unit) => {
-  let location = ReactRouter.useLocation()
-  let route = location.pathname
-
-  // TODO: post RR7 - I am not sure we need this, but it was fidgety to get this working right so I am leaving it for now
-  let (_isLocked, toggleScrollLock) = ScrollLockContext.useScrollLock()
-
-  let toggleOverlay = () => {
-    setOverlayOpen(prev => !prev)
-    toggleScrollLock(prev => !prev)
-  }
-
-  let fixedNavClassName = fixed ? "fixed top-0" : "relative"
-
-  <>
-    <header
-      id="header"
-      className={fixedNavClassName ++ " items-center z-50 w-full transition duration-300 ease-out group-[.nav-disappear]:-translate-y-16 md:group-[.nav-disappear]:-translate-y-0 min-w-[20rem]"}
-    >
-      <nav
-        className="px-4 flex xs:justify-center bg-gray-90 shadow h-16 text-white-80 text-14"
-        id="main-navbar"
-      >
-        <div className="flex justify-between items-center h-full w-full max-w-1280">
-          <div className="h-8 w-8 lg:h-10 lg:w-32">
-            <Link.String
-              prefetch={#intent}
-              to="/"
-              className="block hover:cursor-pointer w-full h-full flex justify-center items-center font-bold"
-            >
-              <img src="/brand/rescript-brandmark.svg" className="lg:hidden" alt="ReScript Home" />
-              <img src="/brand/rescript-logo.svg" className="hidden lg:block" alt="ReScript Home" />
-            </Link.String>
-          </div>
-
-          /* Desktop horizontal navigation */
-          <div
-            className="flex items-center xs:justify-between w-full bg-gray-90 sm:h-auto sm:relative"
-          >
-            <div className="flex ml-10 space-x-5 w-full text-gray-40 max-w-104">
-              <Link
-                to=#"/docs/manual/introduction"
-                className={isDocRouteActive(~route)}
-                prefetch=#intent
-              >
-                {React.string("Docs")}
-              </Link>
-
-              <Link
-                to=#"/try"
-                prefetch=#intent
-                className={"hidden xs:block " ++ linkOrActiveLink(~target=#"/try", ~route)}
-              >
-                {React.string("Playground")}
-              </Link>
-
-              <Link
-                to=#"/blog"
-                prefetch=#intent
-                className={"hidden xs:block " ++ linkOrActiveLinkSubroute(~target=#"/blog", ~route)}
-              >
-                {React.string("Blog")}
-              </Link>
-
-              <Link
-                prefetch=#intent
-                to=#"/community/overview"
-                className={"hidden xs:block " ++
-                linkOrActiveLink(~target=#"/community/overview", ~route)}
-              >
-                {React.string("Community")}
-              </Link>
-
-              <Link
-                prefetch=#intent
-                to=#"/packages"
-                className={"hidden xs:block " ++ linkOrActiveLink(~target=#"/packages", ~route)}
-              >
-                {React.string("Packages")}
-              </Link>
-            </div>
-            <div className="md:flex flex items-center text-gray-60">
-              <Search />
-              <div className="hidden md:flex items-center ml-5">
-                <a
-                  href=Constants.githubHref
-                  rel="noopener noreferrer"
-                  className={"mr-5 " ++ link}
-                  ariaLabel="GitHub"
-                >
-                  <Icon.GitHub className="w-6 h-6 opacity-50 hover:opacity-100" />
-                </a>
-                <a
-                  href=Constants.xHref
-                  rel="noopener noreferrer"
-                  className={"mr-5 " ++ link}
-                  ariaLabel="X (formerly Twitter)"
-                >
-                  <Icon.X className="w-6 h-6 opacity-50 hover:opacity-100" />
-                </a>
-                <a
-                  href=Constants.blueSkyHref
-                  rel="noopener noreferrer"
-                  className={"mr-5 " ++ link}
-                  ariaLabel="Bluesky"
-                >
-                  <Icon.Bluesky className="w-6 h-6 opacity-50 hover:opacity-100" />
-                </a>
-                <a
-                  href=Constants.discourseHref
-                  rel="noopener noreferrer"
-                  className=link
-                  ariaLabel="Forum"
-                >
-                  <Icon.Discourse className="w-6 h-6 opacity-50 hover:opacity-100" />
-                </a>
-              </div>
-            </div>
-          </div>
-        </div>
-
-        /* Burger Button */
-        <button
-          id="burger-button"
-          className="h-full px-4 xs:hidden flex items-center hover:text-white"
-          onClick={evt => {
-            ReactEvent.Mouse.preventDefault(evt)
-            toggleOverlay()
-          }}
-        >
-          <Icon.DrawerDots
-            className={"h-1 w-auto block " ++ (isOverlayOpen ? "text-fire" : "text-gray-60")}
-          />
-        </button>
-
-        /* Mobile overlay */
-        <div
-          id="mobile-overlay"
-          className={(
-            isOverlayOpen ? "flex" : "hidden"
-          ) ++ " top-16 sm:hidden flex-col fixed top-0 left-0 h-full w-full z-50 sm:w-9/12 bg-gray-100 sm:h-auto sm:flex sm:relative sm:flex-row sm:justify-between"}
-        >
-          <MobileNav route />
-        </div>
-      </nav>
-      // This is a subnav for documentation pages
-      {isDocRoute(~route)
-        ? <nav
-            id="doc-navbar"
-            className="bg-white z-50 px-4 w-full h-12 shadow text-gray-60 text-12 md:text-14 transition duration-300 ease-out group-[.nav-disappear]:-translate-y-32 md:group-[.nav-disappear]:translate-y-0"
-          >
-            <div className="flex gap-6 lg:gap-10 items-center h-full w-full max-w-1280 m-auto">
-              <Link
-                prefetch=#intent
-                to=#"/docs/manual/introduction"
-                className={isActiveLink(~includes="/docs/manual/", ~excludes="/api", ~route)}
-              >
-                {React.string("Language Manual")}
-              </Link>
-              <Link
-                prefetch=#intent
-                to=#"/docs/manual/api"
-                className={isActiveLink(~includes="/api", ~route)}
-              >
-                {React.string("API")}
-              </Link>
-              <Link
-                prefetch=#intent
-                to=#"/syntax-lookup"
-                className={isActiveLink(~includes="/syntax-lookup", ~route)}
-              >
-                {React.string("Syntax Lookup")}
-              </Link>
-              <Link
-                prefetch=#intent
-                to=#"/docs/react/introduction"
-                className={isActiveLink(~includes="/docs/react/", ~route)}
-              >
-                {React.string("React")}
-              </Link>
-            </div>
-          </nav>
-        : React.null}
-    </header>
-  </>
-}
-
-let make = React.memo(make)
diff --git a/apps/docs/src/components/Navigation.resi b/apps/docs/src/components/Navigation.resi
deleted file mode 100644
index 4c1f8c476..000000000
--- a/apps/docs/src/components/Navigation.resi
+++ /dev/null
@@ -1,6 +0,0 @@
-@react.component
-let make: (
-  ~fixed: bool=?,
-  ~isOverlayOpen: bool,
-  ~setOverlayOpen: (bool => bool) => unit,
-) => React.element
diff --git a/apps/docs/src/components/SidebarNav.resi b/apps/docs/src/components/SidebarNav.resi
index c9e6782e9..8dd1efe40 100644
--- a/apps/docs/src/components/SidebarNav.resi
+++ b/apps/docs/src/components/SidebarNav.resi
@@ -3,14 +3,6 @@ module NavItem: {
     name: string,
     href: string,
   }
-  @react.component
-  let make: (
-    ~getActiveToc: t => option<TableOfContents.t>=?,
-    ~isHidden: bool=?,
-    ~isItemActive: t => bool=?,
-    ~items: array<t>,
-    ~onClick: unit => unit,
-  ) => React.element
 }
 
 module Category: {
diff --git a/apps/docs/src/components/VersionSelect.res b/apps/docs/src/components/VersionSelect.res
index 36664c742..df8b957c4 100644
--- a/apps/docs/src/components/VersionSelect.res
+++ b/apps/docs/src/components/VersionSelect.res
@@ -12,12 +12,6 @@ let olderVersions = [
   {label: "v6.0 - v8.1", link: "https://v11.rescript-lang.org/docs/manual/v8.0.0/introduction"},
 ]
 
-module SectionHeader = {
-  @react.component
-  let make = (~value) =>
-    <option disabled=true key=value className="py-4"> {React.string(value)} </option>
-}
-
 // This is the current version
 let version = DocsVersion.current
 
diff --git a/apps/docs/src/components/VersionSelect.resi b/apps/docs/src/components/VersionSelect.resi
index 2b3c727a8..3d9d5083c 100644
--- a/apps/docs/src/components/VersionSelect.resi
+++ b/apps/docs/src/components/VersionSelect.resi
@@ -1,6 +1,2 @@
-module SectionHeader: {
-  @react.component
-  let make: (~value: string) => Jsx.element
-}
 @react.component
 let make: unit => Jsx.element
diff --git a/apps/docs/src/components/Video.res b/apps/docs/src/components/Video.res
deleted file mode 100644
index 45583c6bb..000000000
--- a/apps/docs/src/components/Video.res
+++ /dev/null
@@ -1,4 +0,0 @@
-@react.component
-let default = (~src: string, ~caption: option<string>=?) => {
-  <Markdown.Video src ?caption />
-}
diff --git a/apps/docs/src/data/BlogApi.res b/apps/docs/src/data/BlogApi.res
index 8aa5cd2ca..0a378a74c 100644
--- a/apps/docs/src/data/BlogApi.res
+++ b/apps/docs/src/data/BlogApi.res
@@ -51,49 +51,6 @@ let getAllPosts = () => {
   )
 }
 
-let getLivePosts = () => {
-  let postsDirectory = Node.Path.join2(Node.Process.cwd(), "markdown-pages/blog")
-
-  let livePosts = mdxFiles(postsDirectory)->Array.map(path => {
-    let {frontmatter} =
-      Node.Path.join2(postsDirectory, path)->Node.Fs.readFileSync->MarkdownParser.parseSync
-    switch BlogFrontmatter.decode(frontmatter) {
-    | Error(msg) => JsError.throwWithMessage(msg)
-    | Ok(d) => {
-        path,
-        frontmatter: d,
-        archived: false,
-      }
-    }
-  })
-
-  livePosts->Array.toSorted((a, b) =>
-    String.compare(Node.Path.basename(b.path), Node.Path.basename(a.path))
-  )
-}
-
-let getArchivedPosts = () => {
-  let postsDirectory = Node.Path.join2(Node.Process.cwd(), "markdown-pages/blog")
-  let archivedPostsDirectory = Node.Path.join2(postsDirectory, "archived")
-
-  let archivedPosts = mdxFiles(archivedPostsDirectory)->Array.map(path => {
-    let {frontmatter} =
-      Node.Path.join2(archivedPostsDirectory, path)->Node.Fs.readFileSync->MarkdownParser.parseSync
-    switch BlogFrontmatter.decode(frontmatter) {
-    | Error(msg) => JsError.throwWithMessage(msg)
-    | Ok(d) => {
-        path: Node.Path.join2("archived", path),
-        frontmatter: d,
-        archived: true,
-      }
-    }
-  })
-
-  archivedPosts->Array.toSorted((a, b) =>
-    String.compare(Node.Path.basename(b.path), Node.Path.basename(a.path))
-  )
-}
-
 module RssFeed = {
   type item = {
     title: string,
diff --git a/apps/docs/src/data/BlogApi.resi b/apps/docs/src/data/BlogApi.resi
index 3c47faadc..bbada4f90 100644
--- a/apps/docs/src/data/BlogApi.resi
+++ b/apps/docs/src/data/BlogApi.resi
@@ -4,9 +4,6 @@ type post = {
   frontmatter: BlogFrontmatter.t,
 }
 
-let getAllPosts: unit => array<post>
-let getLivePosts: unit => array<post>
-let getArchivedPosts: unit => array<post>
 let blogPathToSlug: string => string
 
 module RssFeed: {
diff --git a/apps/docs/src/ffi/react-codemirror-hooks.js b/apps/docs/src/ffi/react-codemirror-hooks.js
deleted file mode 100644
index 9b5f14093..000000000
--- a/apps/docs/src/ffi/react-codemirror-hooks.js
+++ /dev/null
@@ -1,162 +0,0 @@
-//
-// OBSOLETE!
-//
-// This file is reimplemented in common/CodeMirrorBase.re
-// We keep this around for reference in case we find some
-// bugs in the new implementation
-//
-import CodeMirror from "codemirror";
-import "codemirror/lib/codemirror.css";
-import { useEffect, useRef } from "react";
-
-if (typeof window !== "undefined" && typeof window.navigator !== "undefined") {
-  require("codemirror/mode/javascript/javascript");
-  require("../plugins/cm-reason-mode");
-}
-
-function makeErrorMarker(cm) {
-  const wrapper = cm.getWrapperElement();
-
-  const msg = document.createElement("div");
-  msg.className = "z-10 absolute px-2 rounded bg-fire-15";
-  msg.innerHTML = "Some Error Message";
-  msg.style.display = "none";
-
-  const showMsg = () => {
-    msg.style.display = "block";
-  };
-
-  const hideMsg = () => {
-    msg.style.display = "none";
-  };
-
-  const marker = document.createElement("div");
-  marker.className =
-    "text-center text-fire font-bold bg-fire-15 rounded w-4 ml-2 hover:cursor-pointer";
-  marker.innerHTML = "!";
-  marker.onmouseover = function markerMouseOver() {
-    const wrapperPos = wrapper.getBoundingClientRect();
-    const pos = marker.getBoundingClientRect();
-
-    msg.style.left = pos.x - wrapperPos.x + pos.width + "px";
-    msg.style.top = pos.y - wrapperPos.y + "px";
-
-    console.log("wrapperPos", wrapperPos);
-    console.log("markerPos", pos);
-    console.log(msg.style.left);
-
-    showMsg();
-  };
-
-  marker.onmouseleave = function markerMouseLeave() {
-    hideMsg();
-  };
-
-  wrapper.appendChild(msg);
-
-  return marker;
-}
-
-const ERROR_GUTTER_ID = "errors";
-
-function clearMarks(cm) {
-  var state = cm.state.errors;
-
-  for (var i = 0; i < state.marked.length; ++i) {
-    state.marked[i].clear();
-  }
-
-  state.marked.length = 0;
-}
-
-function updateErrors(cm, errors) {
-  // Clear out all previous errors first
-  clearMarks(cm);
-  cm.clearGutter(ERROR_GUTTER_ID);
-
-  const state = cm.state.errors;
-
-  errors.forEach((e) => {
-    const marker = makeErrorMarker(cm);
-    cm.setGutterMarker(e.row, ERROR_GUTTER_ID, marker);
-
-    const from = { line: e.row, ch: e.column };
-    const to = { line: e.endRow, ch: e.endColumn };
-
-    state.marked.push(cm.markText(from, to, { className: "bg-fire-15" }));
-    console.log("marked", state.marked);
-  });
-
-  //cm.setGutterMarker(0, ERROR_GUTTER_ID, marker);
-}
-
-export default function CodeMirrorReact(props) {
-  const options = props.options || {};
-
-  const errors = props.errors || [];
-  const value = props.value || "";
-
-  const inputElement = useRef();
-  const cmRef = useRef();
-
-  useEffect(() => {
-    const cm = CodeMirror.fromTextArea(inputElement.current, {
-      theme: "material",
-      gutters: [ERROR_GUTTER_ID, "CodeMirror-linenumbers"],
-      ...options,
-    });
-
-    cm.getScrollerElement().style.minHeight = props.minHeight;
-    cm.refresh();
-
-    // For some reason, injecting value with the options doesn't work
-    // so we need to set the initial value imperatively
-    cm.setValue(value);
-
-    // Set up event handlers
-    const onChange = props.onChange;
-    if (onChange != null) {
-      cm.on("change", (instance, obj) => {
-        onChange(instance.getValue());
-      });
-    }
-
-    cmRef.current = cm;
-
-    // Set state
-    cm.state.errors = { marked: [] };
-
-    return () => {
-      console.log("cleanup", options.mode);
-      // This will destroy the CM instance
-      cm.toTextArea();
-    };
-  }, []);
-
-  useEffect(() => {
-    const cm = cmRef.current;
-
-    if (cm != null) {
-      cm.setValue(value);
-    }
-  }, [value]);
-
-  useEffect(() => {
-    const cm = cmRef.current;
-
-    if (cm != null) {
-      //console.log("setting errors");
-      //console.log(errors);
-
-      cm.operation(() => {
-        updateErrors(cm, errors);
-      });
-    }
-  }, [errors]);
-
-  return (
-    <div className={props.className} style={props.style}>
-      <textarea className="hidden" ref={inputElement} />
-    </div>
-  );
-}
diff --git a/apps/docs/src/markdown/DocFrontmatter.res b/apps/docs/src/markdown/DocFrontmatter.res
deleted file mode 100644
index 38adb68e4..000000000
--- a/apps/docs/src/markdown/DocFrontmatter.res
+++ /dev/null
@@ -1,30 +0,0 @@
-type t = {
-  title: string,
-  metaTitle: Null.t<string>,
-  description: Null.t<string>,
-  canonical: Null.t<string>,
-}
-
-let decode = json => {
-  open JSON
-  let optionToNull = opt =>
-    switch opt {
-    | Some(String(v)) => Null.Value(v)
-    | _ => Null
-    }
-  switch json {
-  | Object(dict{
-      "title": String(title),
-      "metaTitle": ?metaTitle,
-      "description": ?description,
-      "canonical": ?canonical,
-    }) =>
-    Some({
-      title,
-      metaTitle: metaTitle->optionToNull,
-      description: description->optionToNull,
-      canonical: canonical->optionToNull,
-    })
-  | _ => None
-  }
-}
diff --git a/apps/docs/src/markdown/DocFrontmatter.resi b/apps/docs/src/markdown/DocFrontmatter.resi
deleted file mode 100644
index 520d4851d..000000000
--- a/apps/docs/src/markdown/DocFrontmatter.resi
+++ /dev/null
@@ -1,8 +0,0 @@
-type t = {
-  title: string,
-  metaTitle: Null.t<string>, // If there's no metaTitle, we will take title instead
-  description: Null.t<string>,
-  canonical: Null.t<string>,
-}
-
-let decode: JSON.t => option<t>
diff --git a/apps/docs/src/markdown/Mdx.res b/apps/docs/src/markdown/Mdx.res
index dbb9bc9c5..e17226a6a 100644
--- a/apps/docs/src/markdown/Mdx.res
+++ b/apps/docs/src/markdown/Mdx.res
@@ -50,9 +50,6 @@ type tree
 @module("remark-gfm")
 external gfm: remarkPlugin = "default"
 
-@module("remark-validate-links")
-external validateLinks: remarkPlugin = "default"
-
 @module("mdast-util-to-string")
 external childrenToString: {..} => string = "toString"
 
diff --git a/apps/docs/src/markdown/MdxFile.res b/apps/docs/src/markdown/MdxFile.res
index 227b1f715..d2dd9aa7e 100644
--- a/apps/docs/src/markdown/MdxFile.res
+++ b/apps/docs/src/markdown/MdxFile.res
@@ -1,8 +1,3 @@
-type fileData = {
-  content: string,
-  frontmatter: JSON.t,
-}
-
 type compileInput = {value: string, path: string}
 type compileOptions = {
   outputFormat: string,
@@ -56,12 +51,6 @@ let resolveFilePath = (pathname, ~dir, ~alias) => {
   relativePath ++ ".mdx"
 }
 
-let loadFile = async filePath => {
-  let raw = await Node.Fs.readFile(filePath, "utf-8")
-  let {frontmatter, content}: MarkdownParser.result = MarkdownParser.parseSync(raw)
-  {content, frontmatter}
-}
-
 // Recursively scan a directory for .mdx files
 let rec scanDir = (baseDir, currentDir) => {
   let entries = Node.Fs.readdirSync(currentDir)
diff --git a/apps/docs/src/markdown/MdxFile.resi b/apps/docs/src/markdown/MdxFile.resi
index 308a6cf9c..37db8fd5b 100644
--- a/apps/docs/src/markdown/MdxFile.resi
+++ b/apps/docs/src/markdown/MdxFile.resi
@@ -1,8 +1,3 @@
-type fileData = {
-  content: string,
-  frontmatter: JSON.t,
-}
-
 /** Removes React Router's `.data` request suffix from a route pathname. */
 let normalizePathname: string => string
 
@@ -12,9 +7,6 @@ let normalizePathname: string => string
  */
 let resolveFilePath: (string, ~dir: string, ~alias: string) => string
 
-/** Read a file from disk and parse its frontmatter using MarkdownParser. */
-let loadFile: string => promise<fileData>
-
 /** Compile raw MDX content into a function-body string using @mdx-js/mdx. */
 let compileMdx: (
   string,
diff --git a/apps/docs/src/markdown/SidebarHelpers.resi b/apps/docs/src/markdown/SidebarHelpers.resi
index 66fe563ef..27f2a6d85 100644
--- a/apps/docs/src/markdown/SidebarHelpers.resi
+++ b/apps/docs/src/markdown/SidebarHelpers.resi
@@ -2,8 +2,6 @@
 let convertToNavItems: (array<Mdx.attributes>, string) => array<SidebarNav.NavItem.t>
 
 /** Get a single sidebar category by name from a dict of grouped nav items. */
-let getGroup: (Dict.t<array<SidebarNav.NavItem.t>>, string) => SidebarNav.Category.t
-
 /** Get multiple sidebar categories by name from a dict of grouped nav items. */
 let getAllGroups: (
   Dict.t<array<SidebarNav.NavItem.t>>,
diff --git a/apps/docs/src/markdown/TableOfContents.res b/apps/docs/src/markdown/TableOfContents.res
index 5a4b98d10..e3215eca5 100644
--- a/apps/docs/src/markdown/TableOfContents.res
+++ b/apps/docs/src/markdown/TableOfContents.res
@@ -7,36 +7,3 @@ type t = {
   title: string,
   entries: array<entry>,
 }
-
-module Context = {
-  let default: t = {
-    title: "",
-    entries: [],
-  }
-
-  type context = {
-    toc: option<t>,
-    addEntry: (string, string) => unit,
-  }
-
-  let context = React.createContext({toc: Some({title: "", entries: []}), addEntry: (_, _) => ()})
-
-  module Provider = {
-    let make = React.Context.provider(context)
-  }
-
-  let useTocContext = () => React.useContext(context)
-
-  let emptyEntries: array<entry> = []
-
-  @jsx.component
-  let make = (~children, ~value: t) => {
-    let (entries, setEntries) = React.useState(_ => emptyEntries)
-
-    let addEntry = (header, href) => {
-      setEntries(prev => prev->Array.concat([{header, href}]))
-    }
-
-    <Provider value={{toc: Some({title: value.title, entries}), addEntry}}> {children} </Provider>
-  }
-}
diff --git a/apps/docs/src/shims/Shims.res b/apps/docs/src/shims/Shims.res
deleted file mode 100644
index 491e4ba83..000000000
--- a/apps/docs/src/shims/Shims.res
+++ /dev/null
@@ -1,2 +0,0 @@
-@module("./_shims.mjs")
-external runWithoutLogging: (unit => Promise.t<'a>) => Promise.t<'a> = "runWithoutLogging"
diff --git a/apps/docs/src/shims/_shims.mjs b/apps/docs/src/shims/_shims.mjs
deleted file mode 100644
index f0b4a8445..000000000
--- a/apps/docs/src/shims/_shims.mjs
+++ /dev/null
@@ -1,8 +0,0 @@
-export const runWithoutLogging = async (fn) => {
-  let result;
-  const originalConsoleLog = console.log;
-  console.log = () => {};
-  result = await fn();
-  console.log = originalConsoleLog;
-  return result;
-};
diff --git a/apps/docs/styles/utils.css b/apps/docs/styles/utils.css
deleted file mode 100644
index 314e8b44e..000000000
--- a/apps/docs/styles/utils.css
+++ /dev/null
@@ -1,14 +0,0 @@
-.gradientShadow {
-  /*box-shadow: inset 30 -30 50px 50px #edf0f2, inset 15 0 -20px 50px #edf0f2;*/
-
-  /*background: red;*/
-  background: linear-gradient(
-    to right,
-    rgba(244, 100, 106, 0.4),
-    rgba(234, 151, 67, 0.4)
-  );
-  transform: translateY(20px) scale(0.95);
-  filter: blur(15px);
-  opacity: 0.7;
-  transition: opacity 0.3s;
-}
diff --git a/apps/docs/test-utils/TestUtils.res b/apps/docs/test-utils/TestUtils.res
index 6a5e7780d..1edc1da72 100644
--- a/apps/docs/test-utils/TestUtils.res
+++ b/apps/docs/test-utils/TestUtils.res
@@ -1,12 +1,3 @@
-let getByTextExact = (element, text) => Vitest.getByTextWithOptions(element, text, {"exact": true})
-
-let sleep = ms =>
-  Promise.make((resolve, _) => {
-    let _timeoutId = setTimeout(~handler=() => {
-      resolve()
-    }, ~timeout=ms)
-  })
-
 external imageFromNode: WebAPI.DOMAPI.node => WebAPI.DOMAPI.htmlImageElement = "%identity"
 
 let waitForImages = async (selector: string) => {
diff --git a/apps/docs/vitest.setup.mjs b/apps/docs/vitest.setup.mjs
index 7c5201827..e7081e0f3 100644
--- a/apps/docs/vitest.setup.mjs
+++ b/apps/docs/vitest.setup.mjs
@@ -4,7 +4,6 @@ import "./styles/content.css";
 import "./styles/playground.css";
 import "./styles/test-utilities.css";
 import "./styles/_hljs.css";
-import "./styles/utils.css";
 import "./styles/test-overrides.css";
 
 import hljs from "highlight.js/lib/core";
diff --git a/apps/guide/__tests__/GuideCompilerSettings_.test.res b/apps/guide/__tests__/GuideCompilerSettings_.test.res
index 853643400..61a3ee575 100644
--- a/apps/guide/__tests__/GuideCompilerSettings_.test.res
+++ b/apps/guide/__tests__/GuideCompilerSettings_.test.res
@@ -2,13 +2,9 @@ open Vitest
 
 test("selects the latest stable ReScript compiler with ESM output", async () => {
   let version =
-    GuideCompilerSettings.latestStableVersion([
-      "v12.1.0-alpha.1",
-      "v11.1.4",
-      "v12.0.0",
-      "v12.2.0-beta.1",
-      "v12.1.3",
-    ])
+    ["v12.1.0-alpha.1", "v11.1.4", "v12.0.0", "v12.2.0-beta.1", "v12.1.3"]
+    ->GuideCompilerSettings.supportedVersions
+    ->GuideCompilerSettings.latestStableParsedVersion
     ->Option.getOrThrow
     ->Semver.toString
 
diff --git a/apps/guide/__tests__/GuideHome_.test.res b/apps/guide/__tests__/GuideHome_.test.res
index 877a800f9..43852937d 100644
--- a/apps/guide/__tests__/GuideHome_.test.res
+++ b/apps/guide/__tests__/GuideHome_.test.res
@@ -53,7 +53,7 @@ test("loads saved guide editor code into the editor", async () => {
 test("resets the current exercise code without clearing its completion", async () => {
   await viewport(1440, 900)
   let exerciseId = secondLesson.exercise.id
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(exerciseId)
   GuideLayout.saveExerciseCode(~exerciseId, ~code="let greeting = \"changed\"")
   GuideLayout.saveCompletedExercise(exerciseId)
@@ -71,7 +71,7 @@ test("resets the current exercise code without clearing its completion", async (
   expect(GuideLayout.loadExerciseCode(exerciseId)->Option.isNone)->toBe(true)
   expect(GuideLayout.isExerciseCompleted(exerciseId))->toBe(true)
 
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(exerciseId)
 })
 
@@ -207,7 +207,7 @@ test(
 
 test("navigates to the function argument page", async () => {
   await viewport(1440, 900)
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
   GuideLayout.saveCompletedExercise(firstLesson.exercise.id)
 
@@ -232,7 +232,7 @@ test("navigates to the function argument page", async () => {
 
 test("shows Back before lesson forward actions and returns to the previous lesson", async () => {
   await viewport(1440, 900)
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(firstLesson.exercise.id)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
   GuideLayout.saveCompletedExercise(firstLesson.exercise.id)
@@ -260,7 +260,7 @@ test("shows Back before lesson forward actions and returns to the previous lesso
 
 test("enables Done on a completed final lesson", async () => {
   await viewport(1440, 900)
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
   GuideLayout.saveCompletedExercise(secondLesson.exercise.id)
 
@@ -269,13 +269,13 @@ test("enables Done on a completed final lesson", async () => {
 
   await doneButton->element->notToBeDisabled
 
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
 })
 
 test("keeps Next disabled until the current checkpoint is complete", async () => {
   await viewport(1440, 900)
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
 
   let screen = await render(
@@ -287,13 +287,13 @@ test("keeps Next disabled until the current checkpoint is complete", async () =>
 
   await nextButton->element->toBeDisabled
 
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
 })
 
 test("Done on a completed final lesson opens the ReScript docs intro", async () => {
   await viewport(1440, 900)
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
   GuideLayout.saveCompletedExercise(secondLesson.exercise.id)
   let openedUrl = ref("")
@@ -307,13 +307,13 @@ test("Done on a completed final lesson opens the ReScript docs intro", async ()
 
   expect(openedUrl.contents)->toBe(GuideLessonNavigationHook.docsIntroUrl)
 
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
 })
 
 test("history back returns to the previous guide lesson", async () => {
   await viewport(1440, 900)
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
   GuideLayout.clearExerciseCode(firstLesson.exercise.id)
   GuideLayout.clearExerciseCode(secondLesson.exercise.id)
   GuideLayout.saveCompletedExercise(firstLesson.exercise.id)
diff --git a/apps/guide/__tests__/GuideLayout_.test.res b/apps/guide/__tests__/GuideLayout_.test.res
index a0c975414..348066f51 100644
--- a/apps/guide/__tests__/GuideLayout_.test.res
+++ b/apps/guide/__tests__/GuideLayout_.test.res
@@ -1,3 +1,8 @@
+let clearPaneSizes = () => {
+  GuideLayout.removeLocalStorageItem(GuideLayout.instructionsWidthStorageKey)
+  GuideLayout.removeLocalStorageItem(GuideLayout.outputHeightStorageKey)
+}
+
 open Vitest
 
 test("clamps resized pane dimensions", async () => {
@@ -26,7 +31,7 @@ test("uses a browser chrome color for each theme", async () => {
 })
 
 test("stores resized pane dimensions in local storage", async () => {
-  GuideLayout.clearPaneSizes()
+  clearPaneSizes()
 
   GuideLayout.savePaneSizes({
     instructionsWidth: Some(420.0),
@@ -40,7 +45,7 @@ test("stores resized pane dimensions in local storage", async () => {
   expect(savedInstructionsWidth)->toBe("420")
   expect(savedPaneSizes.outputHeight)->toBe(250.0)
 
-  GuideLayout.clearPaneSizes()
+  clearPaneSizes()
 })
 
 test("stores guide exercise code in local storage", async () => {
@@ -56,7 +61,7 @@ test("stores guide exercise code in local storage", async () => {
 
 test("stores completed guide exercises in local storage", async () => {
   let exerciseId = GuideTestFixtures.firstLesson.exercise.id
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
 
   GuideLayout.saveCompletedExercise(exerciseId)
   GuideLayout.saveCompletedExercise(exerciseId)
@@ -66,5 +71,5 @@ test("stores completed guide exercises in local storage", async () => {
   expect(completedExerciseIds->Array.includes(exerciseId))->toBe(true)
   expect(completedExerciseIds->Array.length)->toBe(1)
 
-  GuideLayout.clearCompletedExercises()
+  GuideLayout.removeLocalStorageItem(GuideLayout.progressStorageKey)
 })
diff --git a/apps/guide/app/GuideCompilerFeedback.res b/apps/guide/app/GuideCompilerFeedback.res
index 0b2e7a6d0..3f1d81c36 100644
--- a/apps/guide/app/GuideCompilerFeedback.res
+++ b/apps/guide/app/GuideCompilerFeedback.res
@@ -11,14 +11,12 @@ module Output = {
   type t = {
     status: string,
     diagnostics: array<string>,
-    typeHints: array<string>,
     runtimeLogs: array<runtimeLog>,
   }
 
-  let make = (~status, ~diagnostics=[], ~typeHints=[], ~runtimeLogs=[]) => {
+  let make = (~status, ~diagnostics=[], ~runtimeLogs=[]) => {
     status,
     diagnostics,
-    typeHints,
     runtimeLogs,
   }
 
diff --git a/apps/guide/app/GuideCompilerSettings.res b/apps/guide/app/GuideCompilerSettings.res
index 843d36835..57e2c539f 100644
--- a/apps/guide/app/GuideCompilerSettings.res
+++ b/apps/guide/app/GuideCompilerSettings.res
@@ -43,5 +43,3 @@ let supportedVersions = versions =>
 
 let latestStableParsedVersion = (versions: array<Semver.t>) =>
   versions->Array.find(version => version.preRelease->Option.isNone)
-
-let latestStableVersion = versions => versions->supportedVersions->latestStableParsedVersion
diff --git a/apps/guide/app/GuideHomeRoute.resi b/apps/guide/app/GuideHomeRoute.resi
index 380c80ddc..56ec4bfbb 100644
--- a/apps/guide/app/GuideHomeRoute.resi
+++ b/apps/guide/app/GuideHomeRoute.resi
@@ -3,7 +3,8 @@ type loaderData = {
   lessons: array<GuideLesson.t>,
 }
 
+@live
 let loader: ReactRouter.Loader.t<loaderData>
 
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/guide/app/GuideLessonFrontmatter.res b/apps/guide/app/GuideLessonFrontmatter.res
index 06efece83..c3f1ad4dd 100644
--- a/apps/guide/app/GuideLessonFrontmatter.res
+++ b/apps/guide/app/GuideLessonFrontmatter.res
@@ -139,9 +139,3 @@ let validationErrorMessage = error =>
   | DuplicatePosition({value, sourcePaths}) =>
     `Duplicate guide lesson position "${value}" in ${sourcePaths->Array.join(" and ")}.`
   }
-
-let validateOrFail = lessons =>
-  switch lessons->validate {
-  | Ok() => lessons
-  | Error(error) => error->validationErrorMessage->fail
-  }
diff --git a/apps/guide/app/root.resi b/apps/guide/app/root.resi
index 7e91a2ebb..4bace8d43 100644
--- a/apps/guide/app/root.resi
+++ b/apps/guide/app/root.resi
@@ -1,3 +1,3 @@
 // Keep build asset bindings private; React Router consumes the root component.
-@react.component
+@react.component @live
 let default: unit => React.element
diff --git a/apps/guide/app/routes.resi b/apps/guide/app/routes.resi
index b09c4fb75..c41666809 100644
--- a/apps/guide/app/routes.resi
+++ b/apps/guide/app/routes.resi
@@ -1 +1,2 @@
+@live
 let default: array<ReactRouter.Routes.t>
diff --git a/package.json b/package.json
index 30c76f813..182786394 100644
--- a/package.json
+++ b/package.json
@@ -19,6 +19,7 @@
     "build:update-index": "yarn workspace @rescript-lang/docs build:update-index",
     "build:vite": "yarn workspace @rescript-lang/docs build:vite",
     "build": "yarn workspace @rescript-lang/docs build",
+    "check:dead-code": "yarn build:res && node scripts/check-dead-code.mjs",
     "ci:format": "oxfmt --check && rescript format --check",
     "ci:generated": "yarn clean:res && bash .github/scripts/clean-tracked-rescript-output.sh && yarn build:res && git diff --exit-code -- '*.jsx' '*.mjs'",
     "ci:test": "yarn workspace @rescript-lang/docs ci:test && yarn workspace @rescript-lang/guide ci:test",
@@ -30,7 +31,7 @@
     "dev": "yarn workspace @rescript-lang/docs dev",
     "format": "oxfmt && rescript format",
     "preview": "yarn workspace @rescript-lang/docs preview",
-    "reanalyze": "yarn workspace @rescript-lang/docs reanalyze",
+    "reanalyze": "rescript-tools reanalyze -dce -externals",
     "test": "yarn workspace @rescript-lang/docs test",
     "test:e2e": "yarn workspace @rescript-lang/docs test:e2e",
     "cy:open": "yarn workspace @rescript-lang/docs cy:open",
@@ -38,8 +39,7 @@
     "cy:e2e": "yarn workspace @rescript-lang/docs cy:e2e",
     "vitest": "yarn workspace @rescript-lang/docs vitest",
     "vitest:visual": "yarn workspace @rescript-lang/docs vitest:visual",
-    "vitest:guide": "yarn workspace @rescript-lang/guide vitest",
-    "vitest:update": "yarn workspace @rescript-lang/docs vitest:update"
+    "vitest:guide": "yarn workspace @rescript-lang/guide vitest"
   },
   "devDependencies": {
     "lefthook": "^2.1.4",
diff --git a/packages/playground/src/CompilerManagerHook.resi b/packages/playground/src/CompilerManagerHook.resi
index 47c13ef66..0e15415ad 100644
--- a/packages/playground/src/CompilerManagerHook.resi
+++ b/packages/playground/src/CompilerManagerHook.resi
@@ -72,5 +72,3 @@ let useCompilerManager: (
   ~syncUrl: bool=?,
   ~versions: array<Semver.t>,
 ) => (state, action => unit)
-
-let createUrl: (string, ready) => string
diff --git a/packages/playground/src/Playground.res b/packages/playground/src/Playground.res
index 08a2cab58..8897b0047 100644
--- a/packages/playground/src/Playground.res
+++ b/packages/playground/src/Playground.res
@@ -1581,13 +1581,6 @@ let make = (~bundleBaseUrl: string, ~versions: array<string>) => {
   let (searchParams, _) = ReactRouter.useSearchParams()
   let containerRef = React.useRef(Nullable.null)
   let editorRef: React.ref<option<CodeMirror.editorInstance>> = React.useRef(None)
-  let (_, setScrollLock) = ScrollLockContext.useScrollLock()
-
-  React.useEffect(() => {
-    setScrollLock(_ => true)
-    None
-  }, [])
-
   let versions =
     versions
     ->Array.filterMap(v => v->Semver.parse)
diff --git a/packages/shared/src/Ansi.res b/packages/shared/src/Ansi.res
index 9c78aebee..a42bc5bec 100644
--- a/packages/shared/src/Ansi.res
+++ b/packages/shared/src/Ansi.res
@@ -21,18 +21,6 @@ module Color = {
     | Magenta // fg=35 bg=45
     | Cyan // fg=36 bg=46
     | White // fg=37 bg=47
-
-  let toString = (c: t) =>
-    switch c {
-    | Black => "black"
-    | Red => "red"
-    | Green => "green"
-    | Yellow => "yellow"
-    | Blue => "blue"
-    | Magenta => "magenta"
-    | Cyan => "cyan"
-    | White => "white"
-    }
 }
 
 module Sgr = {
@@ -42,14 +30,6 @@ module Sgr = {
     | Fg(Color.t) // 30 - 37
     | Bg(Color.t) // 40 - 47
     | Unknown(string)
-
-  let paramToString = s =>
-    switch s {
-    | Bold => "bold"
-    | Fg(c) => "Fg(" ++ (Color.toString(c) ++ ")")
-    | Bg(c) => "Bg(" ++ (Color.toString(c) ++ ")")
-    | Unknown(s) => "Unknown: " ++ s
-    }
 }
 
 let esc = `\u001B`
@@ -79,32 +59,6 @@ module Location = {
     } else {
       String.get(p.input, p.pos)->Option.getUnsafe
     }
-
-  let untilNextEsc = p => {
-    let ret = ref(None)
-    while !isDone(p) && ret.contents == None {
-      let c = next(p)
-
-      if c === esc {
-        ret := Some()
-      }
-    }
-    ret.contents
-  }
-
-  // Look is useful to look ahead without reading the character
-  // from the stream
-  let look = (p, num) => {
-    let length = String.length(p.input)
-
-    let pos = if p.pos + num >= length {
-      length - 1
-    } else {
-      p.pos + num
-    }
-
-    String.get(p.input, pos)->Option.getUnsafe
-  }
 }
 
 module Lexer = {
@@ -237,16 +191,6 @@ let parse = (input: string) => {
   Lexer.lex(p)
 }
 
-let onlyText = (tokens: array<Lexer.token>) => {
-  open Lexer
-  Array.filter(tokens, x =>
-    switch x {
-    | Text(_) => true
-    | _ => false
-    }
-  )
-}
-
 module SgrString = {
   // A sgr encoded element
   open Lexer
@@ -312,38 +256,11 @@ module SgrString = {
 
     ret
   }
-
-  let toString = (e: t): string => {
-    let content = {
-      open String
-      replaceRegExp(e.content, /\n/g, "\\n")->replace(esc, "")
-    }
-    let params = Array.map(e.params, Sgr.paramToString)->Array.join(", ")
-
-    `SgrString params: ${params} | content: ${content}`
-  }
 }
 
 module Printer = {
   open Lexer
 
-  let tokenString = (t: token): string =>
-    switch t {
-    | Text({content, loc: {startPos, endPos}}) =>
-      let content = {
-        open String
-        replaceRegExp(content, /\n/g, "\\n")->replace(esc, "")
-      }
-      `Text "${content}" (${startPos->Int.toString} to ${endPos->Int.toString})`
-    | Sgr({params, raw, loc: {startPos, endPos}}) =>
-      let raw = String.replace(raw, esc, "")
-      let params = Array.map(params, Sgr.paramToString)->Array.join(", ")
-      `Sgr "${raw}" -> ${params} (${startPos->Int.toString} to ${endPos->Int.toString})`
-    | ClearSgr({loc: {startPos, endPos}, raw}) =>
-      let raw = String.replace(raw, esc, "")
-      `Clear Sgr "${raw}" (${startPos->Int.toString} to ${endPos->Int.toString})`
-    }
-
   let plainString = (tokens: array<token>): string =>
     Array.map(tokens, x =>
       switch x {
diff --git a/packages/shared/src/Ansi.resi b/packages/shared/src/Ansi.resi
index 4ff6ea5d6..de80155db 100644
--- a/packages/shared/src/Ansi.resi
+++ b/packages/shared/src/Ansi.resi
@@ -8,8 +8,6 @@ module Color: {
     | Magenta // fg=35 bg=45
     | Cyan // fg=36 bg=46
     | White // fg=37 bg=47
-
-  let toString: t => string
 }
 
 module Sgr: {
@@ -19,14 +17,8 @@ module Sgr: {
     | Fg(Color.t) // 30 - 37
     | Bg(Color.t) // 40 - 47
     | Unknown(string)
-
-  let paramToString: param => string
 }
 
-let esc: string
-
-let isAscii: string => bool
-
 module Location: {
   type t = {
     input: string,
@@ -37,18 +29,6 @@ module Location: {
     startPos: int,
     endPos: int,
   }
-
-  let fromString: string => t
-
-  let isDone: t => bool
-
-  let next: t => string
-
-  let untilNextEsc: t => option<unit>
-
-  // Look is useful to look ahead without reading the character
-  // from the stream
-  let look: (t, int) => string
 }
 
 module Lexer: {
@@ -61,14 +41,10 @@ module Lexer: {
     | Scan
     | ReadSgr({startPos: int, content: string}) // contains collected data
     | ReadText({startPos: int, content: string})
-
-  let lex: Location.t => array<token>
 }
 
 let parse: string => array<Lexer.token>
 
-let onlyText: array<Lexer.token> => array<Lexer.token>
-
 // A sgr encoded element
 module SgrString: {
   open Lexer
@@ -79,14 +55,10 @@ module SgrString: {
   }
 
   let fromTokens: array<token> => array<t>
-
-  let toString: t => string
 }
 
 module Printer: {
   open Lexer
 
-  let tokenString: token => string
-
   let plainString: array<token> => string
 }
diff --git a/packages/shared/src/Babel.res b/packages/shared/src/Babel.res
index 561cd4eec..68360b24d 100644
--- a/packages/shared/src/Babel.res
+++ b/packages/shared/src/Babel.res
@@ -39,32 +39,6 @@ module Ast = {
     type t = ImportDeclaration({specifiers: array<Specifier.t>, source: StringLiteral.t})
   }
 
-  module ExpressionStatement = {
-    @tag("type")
-    type t = ExpressionStatement({expression: expression})
-  }
-
-  module FunctionDeclaration = {
-    @tag("type")
-    type t = FunctionDeclaration({id: lval})
-  }
-
-  module Identifier = {
-    @tag("type")
-    type t = Identifier({mutable name: string})
-  }
-
-  @tag("type")
-  type node =
-    | ...StringLiteral.t
-    | ...Specifier.t
-    | ...VariableDeclarator.t
-    | ...VariableDeclaration.t
-    | ...ImportDeclaration.t
-    | ...ExpressionStatement.t
-    | ...FunctionDeclaration.t
-    | ...Identifier.t
-
   type nodePath<'nodeType> = {node: 'nodeType}
 
   @get external nodeType: statement => string = "type"
diff --git a/packages/shared/src/CodeMirror.res b/packages/shared/src/CodeMirror.res
index 15fb80401..77357b388 100644
--- a/packages/shared/src/CodeMirror.res
+++ b/packages/shared/src/CodeMirror.res
@@ -253,10 +253,6 @@ module CM6 = {
     external highlightSelectionMatches: unit => extension = "highlightSelectionMatches"
   }
 
-  module Common = {
-    type nodePropSource
-  }
-
   module Language = {
     module HighlightStyle = {
       type tag
@@ -513,13 +509,6 @@ module CM6 = {
 
     module LRParser = {
       type t
-
-      module Config = {
-        type t = {props?: array<Common.nodePropSource>}
-      }
-
-      @send
-      external _configure: (t, Config.t) => t = "configure"
     }
 
     module LRLanguage = {
@@ -977,19 +966,6 @@ let editorSetTheme = (instance: editorInstance, theme: Theme.t): unit => {
   )
 }
 
-let editorSetMode = (instance: editorInstance, mode: string): unit => {
-  let language = switch mode {
-  | "rescript" => ReScript.extension
-  | "reason" => CM6.CustomLanguages.reasonLanguage
-  | _ => CM6.JavaScript.javascript()
-  }
-
-  CM6.EditorView.dispatchEffects(
-    instance.view,
-    {effects: CM6.Compartment.reconfigure(instance.languageConf, (language: CM6.extension))},
-  )
-}
-
 let editorSetErrors = (instance: editorInstance, errors: array<Error.t>): unit => {
   CM6.EditorView.dispatchEffects(
     instance.view,
diff --git a/packages/shared/src/CodeMirror.resi b/packages/shared/src/CodeMirror.resi
index 6d7a39d24..6c55487f0 100644
--- a/packages/shared/src/CodeMirror.resi
+++ b/packages/shared/src/CodeMirror.resi
@@ -59,7 +59,6 @@ type editorConfig = {
 let createEditor: editorConfig => editorInstance
 
 let editorSetErrors: (editorInstance, array<Error.t>) => unit
-let editorSetMode: (editorInstance, string) => unit
 let editorSetKeyMap: (editorInstance, KeyMap.t) => unit
 let editorSetTheme: (editorInstance, Theme.t) => unit
 let editorDestroy: editorInstance => unit
diff --git a/packages/shared/src/Icon.res b/packages/shared/src/Icon.res
index 7830a805d..8e8354e13 100644
--- a/packages/shared/src/Icon.res
+++ b/packages/shared/src/Icon.res
@@ -73,33 +73,6 @@ module MagnifierGlass = {
     </svg>
 }
 
-module Caret = {
-  type direction = [#Up | #Down]
-
-  type size = [#Sm | #Md]
-
-  @react.component
-  let make = (~className: string="", ~size=#Sm, ~direction: direction) => {
-    let width = switch size {
-    | #Sm => "10"
-    | #Md => "14"
-    }
-    <svg
-      className={"stroke-current " ++ className}
-      viewBox="0 0 10 5"
-      width
-      fill="none"
-      strokeMiterlimit="10"
-      strokeWidth="2"
-    >
-      {switch direction {
-      | #Up => <path d="M.6,4.022,4.509.8,8.476,4.087" fill="none" />
-      | #Down => <path d="M.6.866,4.509,4.087,8.476.8" />
-      }}
-    </svg>
-  }
-}
-
 module DrawerDots = {
   @react.component
   let make = (~className: string="") =>
@@ -116,46 +89,6 @@ module DrawerDots = {
     </svg>
 }
 
-module CornerLeftUp = {
-  @react.component
-  let make = (~className: string="") =>
-    <svg
-      className={"stroke-current " ++ className}
-      width="18.414"
-      height="18"
-      fill="none"
-      strokeLinecap="round"
-      strokeLinejoin="round"
-      strokeWidth="2px"
-    >
-      <path d="M11.414 6l-5-5-5 5" />
-      <path d="M17.414 17h-7a4 4 0 01-4-4V1" />
-    </svg>
-}
-
-module Table = {
-  @react.component
-  let make = (~className: string="") =>
-    <svg className={"stroke-current " ++ className} width="25" height="23">
-      <defs>
-        <style>
-          {React.string(
-            ".prefix__a,.prefix__b,.prefix__d{fill:none}.prefix__a,.prefix__b{stroke-width:1.5px}.prefix__c{stroke:none}",
-          )}
-        </style>
-      </defs>
-      <g className="prefix__a">
-        <rect className="prefix__c" width="10" height="23" rx="2" />
-        <rect className="prefix__d" x="0.75" y="0.75" width="8.5" height="21.5" rx="1.25" />
-      </g>
-      <g className="prefix__a">
-        <rect className="prefix__c" width="25" height="23" rx="2" />
-        <rect className="prefix__d" x="0.75" y="0.75" width="23.5" height="21.5" rx="1.25" />
-      </g>
-      <path className="prefix__b" d="M2.5 6.5h5M2.5 10.5h5" />
-    </svg>
-}
-
 module Close = {
   @react.component
   let make = (~className: string="") =>
@@ -224,14 +157,6 @@ module Hyperlink = {
     </svg>
 }
 
-module TriangleDown = {
-  @react.component
-  let make = (~className: string="") =>
-    <svg className={"fill-current " ++ className} width="8" height="5" viewBox="0 0 8 5">
-      <path d="M4,0,8,5H0Z" transform="translate(8 5) rotate(180)" />
-    </svg>
-}
-
 module ExternalLink = {
   @react.component
   let make = (~className="") =>
diff --git a/packages/shared/src/Icon.resi b/packages/shared/src/Icon.resi
index df1f0e24b..d28291ccf 100644
--- a/packages/shared/src/Icon.resi
+++ b/packages/shared/src/Icon.resi
@@ -20,29 +20,11 @@ module MagnifierGlass: {
   let make: (~className: string) => React.element
 }
 
-module Caret: {
-  type direction = [#Up | #Down]
-  type size = [#Sm | #Md]
-
-  @react.component
-  let make: (~className: string=?, ~size: size=?, ~direction: direction) => React.element
-}
-
 module DrawerDots: {
   @react.component
   let make: (~className: string=?) => React.element
 }
 
-module CornerLeftUp: {
-  @react.component
-  let make: (~className: string=?) => React.element
-}
-
-module Table: {
-  @react.component
-  let make: (~className: string=?) => React.element
-}
-
 module Close: {
   @react.component
   let make: (~className: string=?) => React.element
@@ -63,11 +45,6 @@ module Hyperlink: {
   let make: (~className: string=?) => React.element
 }
 
-module TriangleDown: {
-  @react.component
-  let make: (~className: string=?) => React.element
-}
-
 module ExternalLink: {
   @react.component
   let make: (~className: string=?) => React.element
diff --git a/packages/shared/src/Node.res b/packages/shared/src/Node.res
index cc49181dd..e5369b136 100644
--- a/packages/shared/src/Node.res
+++ b/packages/shared/src/Node.res
@@ -36,14 +36,3 @@ module Fs = {
   @module("fs") external statSync: string => {.."isDirectory": unit => bool} = "statSync"
   @module("node:fs/promises") external readFile: (string, string) => promise<string> = "readFile"
 }
-
-module Buffer = {
-  type t
-  @send external toString: t => string = "toString"
-}
-
-module ChildProcess = {
-  type options = {maxBuffer?: float}
-  @module("child_process")
-  external execSync: (string, ~options: options=?) => Buffer.t = "execSync"
-}
diff --git a/packages/shared/src/ReactRouter.res b/packages/shared/src/ReactRouter.res
index d3d0d07eb..2edf81b73 100644
--- a/packages/shared/src/ReactRouter.res
+++ b/packages/shared/src/ReactRouter.res
@@ -65,22 +65,6 @@ module Link = {
     @as("aria-label") ~ariaLabel: string=?,
   ) => React.element = "Link"
 
-  module Path = {
-    type to = {hash?: string, pathname?: Path.t, search?: string}
-
-    @module("react-router") @react.component
-    external make: (
-      ~onClick: ReactEvent.Mouse.t => unit=?,
-      ~children: React.element=?,
-      ~className: string=?,
-      ~target: string=?,
-      ~id: string=?,
-      ~to: to,
-      ~preventScrollReset: bool=?,
-      ~prefetch: prefetch=?,
-    ) => React.element = "Link"
-  }
-
   module String = {
     @module("react-router") @react.component
     external make: (
@@ -110,14 +94,6 @@ module Routes = {
 
   @module("@react-router/dev/routes")
   external index: string => t = "index"
-
-  type routeOptions = {id?: string}
-
-  @module("@react-router/dev/routes")
-  external route: (string, string, ~options: routeOptions=?) => t = "route"
-
-  @module("@react-router/dev/routes")
-  external layout: (string, array<t>) => t = "layout"
 }
 
 module MemoryRouter = {
diff --git a/packages/shared/src/RescriptCompilerApi.res b/packages/shared/src/RescriptCompilerApi.res
index ff67ea683..fe22ff9e9 100644
--- a/packages/shared/src/RescriptCompilerApi.res
+++ b/packages/shared/src/RescriptCompilerApi.res
@@ -430,7 +430,6 @@ module Compiler = {
   /*
       Res compiler actions
  */
-  @get @scope("rescript") external resVersion: t => string = "version"
 
   @send @scope("rescript")
   external resCompile: (t, string) => JSON.t = "compile"
@@ -480,8 +479,6 @@ module Compiler = {
 
   @send external getConfig: t => Config.t = "getConfig"
 
-  @send external setFilename: (t, string) => bool = "setFilename"
-
   @send external setModuleSystemRaw: (t, string) => bool = "setModuleSystem"
 
   let setModuleSystem = (t, moduleSystem: [#es6 | #nodejs]) => {
diff --git a/packages/shared/src/RescriptCompilerApi.resi b/packages/shared/src/RescriptCompilerApi.resi
index 1c5032715..666605ef6 100644
--- a/packages/shared/src/RescriptCompilerApi.resi
+++ b/packages/shared/src/RescriptCompilerApi.resi
@@ -14,8 +14,6 @@ module Lang: {
   let toString: t => string
 
   let toExt: t => string
-
-  let decode: JSON.t => t
 }
 
 module Version: {
@@ -55,17 +53,10 @@ module LocMsg: {
     endColumn: int,
   }
 
-  let decode: JSON.t => t
-
   type prefix = [#W | #E]
 
   // Useful for showing errors in a more compact format
   let toCompactErrorLine: (~prefix: prefix, t) => string
-
-  // Creates a somewhat unique id based on the rows / cols of the locMsg
-  let makeId: t => string
-
-  /* let dedupe: (array<t>) => array<t> */
 }
 
 module Warning: {
@@ -73,8 +64,6 @@ module Warning: {
     | Warn({warnNumber: int, details: LocMsg.t})
     | WarnErr({warnNumber: int, details: LocMsg.t}) // Describes an erronous warning
 
-  let decode: JSON.t => t
-
   // Useful for showing errors in a more compact format
   let toCompactErrorLine: t => string
 }
@@ -85,8 +74,6 @@ module WarningFlag: {
     warn_flags: string,
     warn_error_flags: string,
   }
-
-  let decode: JSON.t => t
 }
 
 module TypeHint: {
@@ -105,8 +92,6 @@ module TypeHint: {
     | Expression(data)
     | Binding(data)
     | CoreType(data)
-
-  let decode: JSON.t => t
 }
 
 module CompileSuccess: {
@@ -118,8 +103,6 @@ module CompileSuccess: {
     typeHints: array<TypeHint.t>, // Not supported in older versions <= 9.0.1 (will always be [])
     time: float, // total compilation time
   }
-
-  let decode: (~time: float, JSON.t) => t
 }
 
 module ConvertSuccess: {
@@ -128,8 +111,6 @@ module ConvertSuccess: {
     fromLang: Lang.t,
     toLang: Lang.t,
   }
-
-  let decode: JSON.t => t
 }
 
 module CompileFail: {
@@ -139,8 +120,6 @@ module CompileFail: {
     | WarningErr(array<Warning.t>)
     | WarningFlagErr(WarningFlag.t)
     | OtherErr(array<LocMsg.t>)
-
-  let decode: JSON.t => t
 }
 
 module CompilationResult: {
@@ -149,9 +128,6 @@ module CompilationResult: {
     | Success(CompileSuccess.t)
     | UnexpectedError(string) // Errors that slip through as uncaught exceptions of the compiler bundle
     | Unknown(string, JSON.t)
-
-  // TODO: We might change this specific api completely before launching
-  let decode: (~time: float, JSON.t) => t
 }
 
 module ConversionResult: {
@@ -160,8 +136,6 @@ module ConversionResult: {
     | Fail({fromLang: Lang.t, toLang: Lang.t, details: array<LocMsg.t>}) // When a compilation failed with some error result
     | UnexpectedError(string) // Errors that slip through as uncaught exceptions within the playground
     | Unknown(string, JSON.t)
-
-  let decode: (~fromLang: Lang.t, ~toLang: Lang.t, JSON.t) => t
 }
 
 module Config: {
@@ -188,7 +162,6 @@ module Compiler: {
   /*
    * Res compiler actions
    */
-  let resVersion: t => string
   let resCompile: (t, string) => CompilationResult.t
   let resFormat: (t, string) => ConversionResult.t
 
@@ -207,11 +180,7 @@ module Compiler: {
    * Config setter / getters
    */
   let getConfig: t => Config.t
-  let setFilename: (t, string) => bool
-  let setModuleSystem: (t, [#es6 | #nodejs]) => bool
 
-  let setWarnFlags: (t, string) => bool
-  let setOpenModules: (t, array<string>) => bool
   let setConfig: (t, Config.t, Version.t) => unit
 
   // General format function
diff --git a/packages/shared/src/ScrollLockContext.res b/packages/shared/src/ScrollLockContext.res
deleted file mode 100644
index 0efe03c40..000000000
--- a/packages/shared/src/ScrollLockContext.res
+++ /dev/null
@@ -1,14 +0,0 @@
-let scrollLockContext = React.createContext((false, (_: bool => bool) => ()))
-
-module ScrollLockProvider = {
-  let make = React.Context.provider(scrollLockContext)
-}
-
-let useScrollLock = () => React.useContext(scrollLockContext)
-
-module Provider = {
-  @react.component
-  let make = (~children, ~lockState) => {
-    <ScrollLockProvider value=lockState> children </ScrollLockProvider>
-  }
-}
diff --git a/packages/shared/src/Text.res b/packages/shared/src/Text.res
index 5e05e1557..4ba086a2a 100644
--- a/packages/shared/src/Text.res
+++ b/packages/shared/src/Text.res
@@ -1,6 +1,5 @@
 // This file was automatically converted to ReScript from 'Text.re'
 // Check the output and make sure to delete the original file
 module Link = {
-  let inline = "no-underline border-b border-gray-80 hover:border-bs-purple text-inherit"
   let standalone = "no-underline text-fire"
 }
diff --git a/packages/shared/src/Text.resi b/packages/shared/src/Text.resi
index 4bccdc0ea..5d4b7c8fc 100644
--- a/packages/shared/src/Text.resi
+++ b/packages/shared/src/Text.resi
@@ -1,4 +1,3 @@
 module Link: {
-  let inline: string
   let standalone: string
 }
diff --git a/packages/shared/src/Vitest.res b/packages/shared/src/Vitest.res
index 1135b0bd2..376d9b2c5 100644
--- a/packages/shared/src/Vitest.res
+++ b/packages/shared/src/Vitest.res
@@ -48,18 +48,12 @@ external getByTestId: (element, string) => promise<element> = "getByTestId"
 @send
 external getByText: (element, string) => promise<element> = "getByText"
 
-@send
-external getByTextWithOptions: (element, string, {"exact": bool}) => promise<element> = "getByText"
-
 @send
 external getByLabelText: (element, string) => promise<element> = "getByLabelText"
 
 @send
 external getByAltText: (element, string) => promise<element> = "getByAltText"
 
-@send
-external getAllByLabelText: (element, string) => promise<array<element>> = "getAllByLabelText"
-
 @send
 external getByRole: (element, [#button]) => promise<element> = "getByRole"
 
@@ -99,9 +93,6 @@ external toBeDisabled: element => promise<unit> = "toBeDisabled"
 @send @scope("not")
 external notToBeDisabled: element => promise<unit> = "toBeDisabled"
 
-@send
-external toHaveValue: (element, string) => promise<unit> = "toHaveValue"
-
 @send
 external toHaveTextContent: (element, string) => promise<unit> = "toHaveTextContent"
 
diff --git a/packages/shared/src/WarningFlagDescription.res b/packages/shared/src/WarningFlagDescription.res
index ba63ff26c..c941394e0 100644
--- a/packages/shared/src/WarningFlagDescription.res
+++ b/packages/shared/src/WarningFlagDescription.res
@@ -72,40 +72,6 @@ let numeric = [
   (110, "Todo found"),
 ]
 
-let letterAll = numeric->Array.map(Pair.first)
-
-// we keep the original variable name `letter` like in warnings.ml
-let _letter = l =>
-  switch l {
-  | "a" => letterAll
-  /* | "b" => [||] */
-  | "c" => [1, 2]
-  | "d" => [3]
-  | "e" => [4]
-  | "f" => [5]
-  /* | "g" => [||] */
-  /* | "h" => [||] */
-  /* | "i" => [||] */
-  /* | "j" => [||] */
-  | "k" => [32, 33, 34, 35, 36, 37, 38, 39]
-  | "l" => [6]
-  | "m" => [7]
-  /* | "n" => [||] */
-  /* | "o" => [||] */
-  | "p" => [8]
-  /* | "q" => [||] */
-  | "r" => [9]
-  | "s" => [10]
-  /* | "t" => [||] */
-  | "u" => [11, 12]
-  | "v" => [13]
-  /* | "w" => [||] */
-  | "x" => [14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 30]
-  | "y" => [26]
-  | "z" => [27]
-  | _ => []
-  }
-
 let letterDescriptions = [("a", "All flags")]
 
 let getDescription = (num: int): option<string> =>
diff --git a/scripts/__tests__/check-dead-code.test.mjs b/scripts/__tests__/check-dead-code.test.mjs
new file mode 100644
index 000000000..f28f838bf
--- /dev/null
+++ b/scripts/__tests__/check-dead-code.test.mjs
@@ -0,0 +1,63 @@
+import assert from "node:assert/strict";
+import { test } from "node:test";
+import { resolve } from "node:path";
+import { deadValues } from "../check-dead-code.mjs";
+
+const root = resolve("fixture");
+const diagnostic = (message, options = {}) => ({
+  name: "Warning Dead Value",
+  file: resolve(root, "src/Example.res"),
+  message,
+  range: [0, 0, 0, 10],
+  ...options,
+});
+
+test("rejects unused exports and potentially side-effectful initializers", () => {
+  const values = [
+    diagnostic("Example.unused is never used"),
+    diagnostic("unused is never used and could have side effects", {
+      name: "Warning Dead Value With Side Effects",
+    }),
+  ];
+  assert.deepEqual(deadValues(values, root), values);
+});
+
+test("keeps unused values in tests in scope", () => {
+  const value = diagnostic("unused is never used", {
+    file: resolve(root, "__tests__/Example.test.res"),
+  });
+  assert.deepEqual(deadValues([value], root), [value]);
+});
+
+test("ignores dependencies, external files, and deliberate underscore bindings", () => {
+  const values = [
+    diagnostic("unused is never used", {
+      file: resolve(root, "node_modules/example/Example.res"),
+    }),
+    diagnostic("unused is never used", {
+      file: resolve(root, "../sibling/Example.res"),
+    }),
+    diagnostic("_screen is never used"),
+  ];
+  assert.deepEqual(deadValues(values, root), []);
+});
+
+test("leaves record-field and argument diagnostics advisory", () => {
+  assert.deepEqual(
+    deadValues(
+      [
+        diagnostic("field is never used", { name: "Warning Dead Type" }),
+        diagnostic("argument is never used", {
+          name: "Warning Unused Argument",
+        }),
+      ],
+      root,
+    ),
+    [],
+  );
+});
+
+test("fails closed on unexpected analyzer output", () => {
+  assert.throws(() => deadValues({}), /Expected a JSON array/);
+  assert.throws(() => deadValues([{}]), /Invalid reanalyze diagnostic/);
+});
diff --git a/scripts/check-dead-code.mjs b/scripts/check-dead-code.mjs
new file mode 100644
index 000000000..30faf509f
--- /dev/null
+++ b/scripts/check-dead-code.mjs
@@ -0,0 +1,73 @@
+import { execFileSync } from "node:child_process";
+import { existsSync } from "node:fs";
+import { isAbsolute, relative, sep } from "node:path";
+import { fileURLToPath } from "node:url";
+
+const root = fileURLToPath(new URL("../", import.meta.url));
+
+export function deadValues(diagnostics, directory = root) {
+  if (!Array.isArray(diagnostics)) {
+    throw new Error("Expected a JSON array from reanalyze.");
+  }
+
+  return diagnostics.filter(({ name, file, message, range }) => {
+    if (
+      typeof name !== "string" ||
+      typeof file !== "string" ||
+      typeof message !== "string" ||
+      !Array.isArray(range)
+    ) {
+      throw new Error("Invalid reanalyze diagnostic.");
+    }
+    const path = relative(directory, file);
+    const symbol = message.split(" is never used")[0].split(".").at(-1);
+    return (
+      (name === "Warning Dead Value" ||
+        name === "Warning Dead Value With Side Effects") &&
+      !isAbsolute(path) &&
+      path !== ".." &&
+      !path.startsWith(`..${sep}`) &&
+      !path.split(sep).includes("node_modules") &&
+      !symbol.startsWith("_")
+    );
+  });
+}
+
+export async function checkDeadCode() {
+  for (const artifact of [
+    "apps/docs/lib/ocaml/DocsRoot.cmt",
+    "apps/guide/lib/ocaml/GuideHome.cmt",
+    "packages/playground/lib/ocaml/Playground.cmt",
+    "packages/shared/lib/ocaml/RescriptCompilerApi.cmt",
+  ]) {
+    if (!existsSync(new URL(`../${artifact}`, import.meta.url))) {
+      throw new Error("Compile every workspace with yarn build:res first.");
+    }
+  }
+
+  const { rescript_tools_exe } =
+    await import("../node_modules/rescript/cli/common/bins.js");
+  const diagnostics = JSON.parse(
+    execFileSync(
+      rescript_tools_exe,
+      ["reanalyze", "-dce", "-externals", "-json"],
+      { cwd: root, encoding: "utf8", maxBuffer: 16 * 1024 * 1024 },
+    ),
+  );
+  const unused = deadValues(diagnostics);
+  if (unused.length > 0) {
+    throw new Error(
+      unused
+        .map(
+          ({ file, range, message }) =>
+            `${relative(root, file)}:${range[0] + 1}: ${message}`,
+        )
+        .join("\n"),
+    );
+  }
+  console.log("No unused ReScript values or exports.");
+}
+
+if (process.argv[1] && fileURLToPath(import.meta.url) === process.argv[1]) {
+  await checkDeadCode();
+}
diff --git a/yarn.lock b/yarn.lock
index c3261161e..a0558cc2c 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -881,74 +881,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@floating-ui/core@npm:^1.7.3":
-  version: 1.7.3
-  resolution: "@floating-ui/core@npm:1.7.3"
-  dependencies:
-    "@floating-ui/utils": "npm:^0.2.10"
-  checksum: 10c0/edfc23800122d81df0df0fb780b7328ae6c5f00efbb55bd48ea340f4af8c5b3b121ceb4bb81220966ab0f87b443204d37105abdd93d94846468be3243984144c
-  languageName: node
-  linkType: hard
-
-"@floating-ui/dom@npm:^1.7.4":
-  version: 1.7.4
-  resolution: "@floating-ui/dom@npm:1.7.4"
-  dependencies:
-    "@floating-ui/core": "npm:^1.7.3"
-    "@floating-ui/utils": "npm:^0.2.10"
-  checksum: 10c0/da6166c25f9b0729caa9f498685a73a0e28251613b35d27db8de8014bc9d045158a23c092b405321a3d67c2064909b6e2a7e6c1c9cc0f62967dca5779f5aef30
-  languageName: node
-  linkType: hard
-
-"@floating-ui/react-dom@npm:^2.1.2":
-  version: 2.1.6
-  resolution: "@floating-ui/react-dom@npm:2.1.6"
-  dependencies:
-    "@floating-ui/dom": "npm:^1.7.4"
-  peerDependencies:
-    react: ">=16.8.0"
-    react-dom: ">=16.8.0"
-  checksum: 10c0/6654834a8e73ecbdbc6cad2ad8f7abc698ac7c1800ded4d61113525c591c03d2e3b59d3cf9205859221465ea38c87af4f9e6e204703c5b7a7e85332d1eef2e18
-  languageName: node
-  linkType: hard
-
-"@floating-ui/react@npm:^0.26.16":
-  version: 0.26.28
-  resolution: "@floating-ui/react@npm:0.26.28"
-  dependencies:
-    "@floating-ui/react-dom": "npm:^2.1.2"
-    "@floating-ui/utils": "npm:^0.2.8"
-    tabbable: "npm:^6.0.0"
-  peerDependencies:
-    react: ">=16.8.0"
-    react-dom: ">=16.8.0"
-  checksum: 10c0/a42df129e1e976fe8ba3f4c8efdda265a0196c1b66b83f2b9b27423d08dcc765406f893aeff9d830e70e3f14a9d4c490867eb4c32983317cbaa33863b0fae6f6
-  languageName: node
-  linkType: hard
-
-"@floating-ui/utils@npm:^0.2.10, @floating-ui/utils@npm:^0.2.8":
-  version: 0.2.11
-  resolution: "@floating-ui/utils@npm:0.2.11"
-  checksum: 10c0/f4bcea1559bdbb721ecc8e8ead423ac58d6a5b6e70b602cf0810ba6ad4ed1c77211b207faa88b278a9042f0c743133de08a203ed6741c1b6443423332884d5b3
-  languageName: node
-  linkType: hard
-
-"@headlessui/react@npm:^2.2.9":
-  version: 2.2.9
-  resolution: "@headlessui/react@npm:2.2.9"
-  dependencies:
-    "@floating-ui/react": "npm:^0.26.16"
-    "@react-aria/focus": "npm:^3.20.2"
-    "@react-aria/interactions": "npm:^3.25.0"
-    "@tanstack/react-virtual": "npm:^3.13.9"
-    use-sync-external-store: "npm:^1.5.0"
-  peerDependencies:
-    react: ^18 || ^19 || ^19.0.0-rc
-    react-dom: ^18 || ^19 || ^19.0.0-rc
-  checksum: 10c0/a1bc4c473d4f58757e2bbc3b4302704030d9d56427a101bbe698b33b6b379885dd0177e5c0862d801117afa3b0a0b858be7685f1cfda5fb3ed3ede53eb24e987
-  languageName: node
-  linkType: hard
-
 "@img/colour@npm:^1.1.0":
   version: 1.1.0
   resolution: "@img/colour@npm:1.1.0"
@@ -1783,66 +1715,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@react-aria/focus@npm:^3.20.2":
-  version: 3.21.2
-  resolution: "@react-aria/focus@npm:3.21.2"
-  dependencies:
-    "@react-aria/interactions": "npm:^3.25.6"
-    "@react-aria/utils": "npm:^3.31.0"
-    "@react-types/shared": "npm:^3.32.1"
-    "@swc/helpers": "npm:^0.5.0"
-    clsx: "npm:^2.0.0"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-    react-dom: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-  checksum: 10c0/bfcdbb8d47bf038c035b025df6b9c292eeea9a2af7c77ec2ac27c302cb64dc481cfe80bb6575b399301ad1516feba134dec01e3c112ca2cf912ca13b47965917
-  languageName: node
-  linkType: hard
-
-"@react-aria/interactions@npm:^3.25.0, @react-aria/interactions@npm:^3.25.6":
-  version: 3.27.1
-  resolution: "@react-aria/interactions@npm:3.27.1"
-  dependencies:
-    "@react-aria/ssr": "npm:^3.9.10"
-    "@react-aria/utils": "npm:^3.33.1"
-    "@react-stately/flags": "npm:^3.1.2"
-    "@react-types/shared": "npm:^3.33.1"
-    "@swc/helpers": "npm:^0.5.0"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-    react-dom: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-  checksum: 10c0/3fe2bf9b6d58554c21bacbc9d6af4a547040b803a8eaed5b5fa3ea99045fe777a038ef1f4b13919833b60744ba46635aaf0849d04a6de1eb545728c339a8b510
-  languageName: node
-  linkType: hard
-
-"@react-aria/ssr@npm:^3.9.10":
-  version: 3.9.10
-  resolution: "@react-aria/ssr@npm:3.9.10"
-  dependencies:
-    "@swc/helpers": "npm:^0.5.0"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-  checksum: 10c0/44acb4c441d9c5d65aab94aa81fd8368413cf2958ab458582296dd78f6ba4783583f2311fa986120060e5c26b54b1f01e8910ffd17e4f41ccc5fc8c357d84089
-  languageName: node
-  linkType: hard
-
-"@react-aria/utils@npm:^3.31.0, @react-aria/utils@npm:^3.33.1":
-  version: 3.33.1
-  resolution: "@react-aria/utils@npm:3.33.1"
-  dependencies:
-    "@react-aria/ssr": "npm:^3.9.10"
-    "@react-stately/flags": "npm:^3.1.2"
-    "@react-stately/utils": "npm:^3.11.0"
-    "@react-types/shared": "npm:^3.33.1"
-    "@swc/helpers": "npm:^0.5.0"
-    clsx: "npm:^2.0.0"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-    react-dom: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-  checksum: 10c0/8b59b6e4f5f2358aecc291c929b621e68d121ebd15a8377da0a8b34ee706c9caea928dc34a0cc70650527dc9538619f4a9dcbcacf92bee31a73e69f59afbc772
-  languageName: node
-  linkType: hard
-
 "@react-router/dev@npm:^8.3.1":
   version: 8.3.1
   resolution: "@react-router/dev@npm:8.3.1"
@@ -1910,35 +1782,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@react-stately/flags@npm:^3.1.2":
-  version: 3.1.2
-  resolution: "@react-stately/flags@npm:3.1.2"
-  dependencies:
-    "@swc/helpers": "npm:^0.5.0"
-  checksum: 10c0/d86890ce662f04c7d8984e9560527f46c9779b97757abded9e1bf7e230a6900a0ea7a3e7c22534de8d2ff278abae194e4e4ad962d710f3b04c52a4e1011c2e5b
-  languageName: node
-  linkType: hard
-
-"@react-stately/utils@npm:^3.11.0":
-  version: 3.11.0
-  resolution: "@react-stately/utils@npm:3.11.0"
-  dependencies:
-    "@swc/helpers": "npm:^0.5.0"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-  checksum: 10c0/09b38438df19fd8ff14d3147b2f9e5d42869b3ee637b0e33d6f2ab5cba93612e640c6de339b766b8c825d7bef828851fd551d5a197a037eb1331913546b8516c
-  languageName: node
-  linkType: hard
-
-"@react-types/shared@npm:^3.32.1, @react-types/shared@npm:^3.33.1":
-  version: 3.33.1
-  resolution: "@react-types/shared@npm:3.33.1"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0-rc.1 || ^18.0.0 || ^19.0.0-rc.1
-  checksum: 10c0/072dbf92de80e3535441fbf4a9075009636221974d0b70bd1078ec1e343ae1373d69d2c02c2fba0963e50f4b134872144ffaf1573daec8477233e408f96e008c
-  languageName: node
-  linkType: hard
-
 "@remix-run/node-fetch-server@npm:^0.14.1":
   version: 0.14.1
   resolution: "@remix-run/node-fetch-server@npm:0.14.1"
@@ -1966,7 +1809,6 @@ __metadata:
     "@babel/core": "npm:^7.29.7"
     "@cloudflare/pages-plugin-vercel-og": "npm:^0.1.2"
     "@docsearch/react": "npm:^4.6.2"
-    "@headlessui/react": "npm:^2.2.9"
     "@mdx-js/mdx": "npm:^3.1.1"
     "@node-cli/static-server": "npm:^3.1.10"
     "@react-router/dev": "npm:^8.3.1"
@@ -1984,7 +1826,6 @@ __metadata:
     "@vitest/browser-playwright": "npm:^5.0.0"
     auto-image-converter: "npm:^2.2.0"
     babel-plugin-react-compiler: "npm:^1.0.0"
-    chokidar: "npm:^4.0.3"
     cypress: "npm:^15.13.1"
     cypress-real-events: "npm:^1.15.1"
     docson: "npm:^2.1.0"
@@ -1998,14 +1839,12 @@ __metadata:
     lightningcss: "npm:^1.32.0"
     mdast-util-from-markdown: "npm:^2.0.3"
     mdast-util-to-string: "npm:^4.0.0"
-    mdast-util-toc: "npm:^7.1.0"
     oxfmt: "npm:^0.46.0"
     playwright: "npm:^1.63.0"
     react: "npm:^19.3.0"
     react-dom: "npm:^19.3.0"
     react-router: "npm:^8.3.1"
     rehype-slug: "npm:^6.0.0"
-    rehype-stringify: "npm:^10.0.1"
     remark: "npm:^15.0.1"
     remark-cli: "npm:^12.0.1"
     remark-comment: "npm:^1.0.0"
@@ -2397,15 +2236,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@swc/helpers@npm:^0.5.0":
-  version: 0.5.17
-  resolution: "@swc/helpers@npm:0.5.17"
-  dependencies:
-    tslib: "npm:^2.8.0"
-  checksum: 10c0/fe1f33ebb968558c5a0c595e54f2e479e4609bff844f9ca9a2d1ffd8dd8504c26f862a11b031f48f75c95b0381c2966c3dd156e25942f90089badd24341e7dbb
-  languageName: node
-  linkType: hard
-
 "@tailwindcss/node@npm:4.3.0":
   version: 4.3.0
   resolution: "@tailwindcss/node@npm:4.3.0"
@@ -2570,25 +2400,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@tanstack/react-virtual@npm:^3.13.9":
-  version: 3.13.12
-  resolution: "@tanstack/react-virtual@npm:3.13.12"
-  dependencies:
-    "@tanstack/virtual-core": "npm:3.13.12"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0 || ^18.0.0 || ^19.0.0
-    react-dom: ^16.8.0 || ^17.0.0 || ^18.0.0 || ^19.0.0
-  checksum: 10c0/0eda3d5691ec3bf93a1cdaa955f4972c7aa9a5026179622824bb52ff8c47e59ee4634208e52d77f43ffb3ce435ee39a0899d6a81f6316918ce89d68122490371
-  languageName: node
-  linkType: hard
-
-"@tanstack/virtual-core@npm:3.13.12":
-  version: 3.13.12
-  resolution: "@tanstack/virtual-core@npm:3.13.12"
-  checksum: 10c0/483f38761b73db05c181c10181f0781c1051be3350ae5c378e65057e5f1fdd6606e06e17dbaad8a5e36c04b208ea1a1344cacd4eca0dcde60f335cf398e4d698
-  languageName: node
-  linkType: hard
-
 "@tsnobip/rescript-lezer@npm:^0.9.0":
   version: 0.9.0
   resolution: "@tsnobip/rescript-lezer@npm:0.9.0"
@@ -2768,13 +2579,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@types/ungap__structured-clone@npm:^1.0.0":
-  version: 1.2.0
-  resolution: "@types/ungap__structured-clone@npm:1.2.0"
-  checksum: 10c0/52f341ded16708603e5631769b26acf0e9ed7c556ce81abb4e55962110b30442576c631c8f7e298b561b8ff77c7823f0edc9f5e313e1c5e1441825a590e5b0f3
-  languageName: node
-  linkType: hard
-
 "@types/unist@npm:*, @types/unist@npm:^3.0.0":
   version: 3.0.3
   resolution: "@types/unist@npm:3.0.3"
@@ -3778,13 +3582,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"clsx@npm:^2.0.0":
-  version: 2.1.1
-  resolution: "clsx@npm:2.1.1"
-  checksum: 10c0/c4c8eb865f8c82baab07e71bfa8897c73454881c4f99d6bc81585aecd7c441746c1399d08363dc096c550cceaf97bd4ce1e8854e1771e9998d9f94c4fe075839
-  languageName: node
-  linkType: hard
-
 "collapse-white-space@npm:^2.0.0":
   version: 2.1.0
   resolution: "collapse-white-space@npm:2.1.0"
@@ -5603,25 +5400,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"hast-util-to-html@npm:^9.0.0":
-  version: 9.0.5
-  resolution: "hast-util-to-html@npm:9.0.5"
-  dependencies:
-    "@types/hast": "npm:^3.0.0"
-    "@types/unist": "npm:^3.0.0"
-    ccount: "npm:^2.0.0"
-    comma-separated-tokens: "npm:^2.0.0"
-    hast-util-whitespace: "npm:^3.0.0"
-    html-void-elements: "npm:^3.0.0"
-    mdast-util-to-hast: "npm:^13.0.0"
-    property-information: "npm:^7.0.0"
-    space-separated-tokens: "npm:^2.0.0"
-    stringify-entities: "npm:^4.0.0"
-    zwitch: "npm:^2.0.4"
-  checksum: 10c0/b7a08c30bab4371fc9b4a620965c40b270e5ae7a8e94cf885f43b21705179e28c8e43b39c72885d1647965fb3738654e6962eb8b58b0c2a84271655b4d748836
-  languageName: node
-  linkType: hard
-
 "hast-util-to-jsx-runtime@npm:^2.0.0":
   version: 2.3.6
   resolution: "hast-util-to-jsx-runtime@npm:2.3.6"
@@ -5709,13 +5487,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"html-void-elements@npm:^3.0.0":
-  version: 3.0.0
-  resolution: "html-void-elements@npm:3.0.0"
-  checksum: 10c0/a8b9ec5db23b7c8053876dad73a0336183e6162bf6d2677376d8b38d654fdc59ba74fdd12f8812688f7db6fad451210c91b300e472afc0909224e0a44c8610d2
-  languageName: node
-  linkType: hard
-
 "http-cache-semantics@npm:^4.1.1":
   version: 4.2.0
   resolution: "http-cache-semantics@npm:4.2.0"
@@ -7372,21 +7143,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"mdast-util-toc@npm:^7.1.0":
-  version: 7.1.0
-  resolution: "mdast-util-toc@npm:7.1.0"
-  dependencies:
-    "@types/mdast": "npm:^4.0.0"
-    "@types/ungap__structured-clone": "npm:^1.0.0"
-    "@ungap/structured-clone": "npm:^1.0.0"
-    github-slugger: "npm:^2.0.0"
-    mdast-util-to-string: "npm:^4.0.0"
-    unist-util-is: "npm:^6.0.0"
-    unist-util-visit: "npm:^5.0.0"
-  checksum: 10c0/bd1b4705c24097669b3c8f6c20b3a0d54463a38d088cfc6f45106853c9907eb1dc0ed8084fe01b38c619858ecc04fb9377f16992287270521b0ffb7366faab7e
-  languageName: node
-  linkType: hard
-
 "media-typer@npm:0.3.0":
   version: 0.3.0
   resolution: "media-typer@npm:0.3.0"
@@ -9215,17 +8971,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"rehype-stringify@npm:^10.0.1":
-  version: 10.0.1
-  resolution: "rehype-stringify@npm:10.0.1"
-  dependencies:
-    "@types/hast": "npm:^3.0.0"
-    hast-util-to-html: "npm:^9.0.0"
-    unified: "npm:^11.0.0"
-  checksum: 10c0/c643ae3a4862465033e0f1e9f664433767279b4ee9296570746970a79940417ec1fb1997a513659aab97063cf971c5d97e0af8129f590719f01628c8aa480765
-  languageName: node
-  linkType: hard
-
 "remark-cli@npm:^12.0.1":
   version: 12.0.1
   resolution: "remark-cli@npm:12.0.1"
@@ -10400,13 +10145,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"tabbable@npm:^6.0.0":
-  version: 6.3.0
-  resolution: "tabbable@npm:6.3.0"
-  checksum: 10c0/57ba019d29b5cfa0c862248883bcec0e6d29d8f156ba52a1f425e7cfeca4a0fc701ab8d035c4c86ddf74ecdbd0e9f454a88d9b55d924a51f444038e9cd14d7a0
-  languageName: node
-  linkType: hard
-
 "tailwindcss@npm:4.3.0, tailwindcss@npm:^4":
   version: 4.3.0
   resolution: "tailwindcss@npm:4.3.0"
@@ -10642,7 +10380,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"tslib@npm:^2.1.0, tslib@npm:^2.4.0, tslib@npm:^2.8.0, tslib@npm:^2.8.1":
+"tslib@npm:^2.1.0, tslib@npm:^2.4.0, tslib@npm:^2.8.1":
   version: 2.8.1
   resolution: "tslib@npm:2.8.1"
   checksum: 10c0/9c4759110a19c53f992d9aae23aac5ced636e99887b51b9e61def52611732872ff7668757d4e4c61f19691e36f4da981cd9485e869b4a7408d689f6bf1f14e62
@@ -11026,15 +10764,6 @@ __metadata:
   languageName: node
   linkType: hard
 
-"use-sync-external-store@npm:^1.5.0":
-  version: 1.6.0
-  resolution: "use-sync-external-store@npm:1.6.0"
-  peerDependencies:
-    react: ^16.8.0 || ^17.0.0 || ^18.0.0 || ^19.0.0
-  checksum: 10c0/35e1179f872a53227bdf8a827f7911da4c37c0f4091c29b76b1e32473d1670ebe7bcd880b808b7549ba9a5605c233350f800ffab963ee4a4ee346ee983b6019b
-  languageName: node
-  linkType: hard
-
 "util-deprecate@npm:^1.0.1, util-deprecate@npm:~1.0.1":
   version: 1.0.2
   resolution: "util-deprecate@npm:1.0.2"
@@ -11779,7 +11508,7 @@ __metadata:
   languageName: node
   linkType: hard
 
-"zwitch@npm:^2.0.0, zwitch@npm:^2.0.4":
+"zwitch@npm:^2.0.0":
   version: 2.0.4
   resolution: "zwitch@npm:2.0.4"
   checksum: 10c0/3c7830cdd3378667e058ffdb4cf2bb78ac5711214e2725900873accb23f3dfe5f9e7e5a06dcdc5f29605da976fc45c26d9a13ca334d6eea2245a15e77b8fc06e