diff --git a/README.md b/README.md
index f6c5835..749934a 100644
--- a/README.md
+++ b/README.md
@@ -1,13 +1,12 @@
 # VS Code setup
 
-Builds four local VS Code extensions, publishes them to a **Gitea release**, installs
+Builds three local VS Code extensions, publishes them to a **Gitea release**, installs
 them from there, and keeps user settings in git.
 
 | Extension | What it does |
 | --- | --- |
 | `colored-references` | Find All References in a syntax-highlighted virtual document, plus a sortable results panel |
 | `vertical-tabs` | A vertical list of open tabs, colour-coded by project, with pinning |
-| `dotnet-hot-reload` | A hot reload button in the debug toolbar, driving `dotnet watch` |
 | `dotnet-solution-launcher` | Startup project and solution configuration (`Test \| x64`) in the status bar; build and debug that pass the platform DotRush drops |
 
 ## The short version
@@ -15,7 +14,7 @@ them from there, and keeps user settings in git.
 ```powershell
 # once per machine, on the machine that builds
 $env:GITEA_TOKEN = '<token>'
-.\scripts\publish.ps1 -Build          # package all four, upload to the "latest" release
+.\scripts\publish.ps1 -Build          # package all three, upload to the "latest" release
 
 # on any machine, including a fresh one
 .\scripts\install.ps1                 # download from the release and install
@@ -44,7 +43,7 @@ sync stops without anything looking broken.
 
 Extensions from the marketplace are handled separately: `settings.ps1 -Push` records
 them in `User/extensions.txt`, `-Pull` installs the missing ones. Ids starting `local.`
-are skipped, because those are the four above and they come from the release.
+are skipped, because those are the three above and they come from the release.
 
 ## Scripts
 
@@ -173,7 +172,7 @@ once installed. Both were checked by hand.
   without bumping the version.
 - **A private extension gallery** — pointing VS Code's `product.json` at your own
   gallery so updates work normally — is possible but gets overwritten by VS Code
-  updates. Not worth it for four extensions.
+  updates. Not worth it for three extensions.
 - **`dev-link.ps1` and `install.ps1` conflict.** A junctioned source and an installed
   `.vsix` are two copies of the same extension id; VS Code loads one arbitrarily.
   `dev-link.ps1 -Unlink` before installing.
diff --git a/config.json b/config.json
index df96c75..dc3824c 100644
--- a/config.json
+++ b/config.json
@@ -17,11 +17,6 @@
             "path": "../vertical-tabs",
             "repo": "vertical-tabs"
         },
-        {
-            "id": "dotnet-hot-reload",
-            "path": "../dotnet-hot-reload",
-            "repo": "dotnet-hot-reload"
-        },
         {
             "id": "dotnet-solution-launcher",
             "path": "../dotnet-solution-launcher",