diff --git a/docs/plan.md b/docs/plan.md
index 955a969..942d0fc 100644
--- a/docs/plan.md
+++ b/docs/plan.md
@@ -780,8 +780,14 @@ steps below:
   replay redirects to ArcViewer with the `.dat` and local zip and loads the map;
   watching it play still needs a real browser.
 
-To deploy: nix-pleb bumps `plebleader-server`, `plebleader-website` and
-`plebsaber-stream` (sync CLI); switch. The next `plebleader-sync`
+Deployed 2026-11-09 (nix-pleb `a41f3c2`); the first sync imported 3,710
+scores with the same split by source as the local check. The profile's score
+search then returned 500, for any search: the Lucene song and player indexes
+were written next to the DLL in the read-only `/nix/store` (phase 2 step 6
+had planned to move them). Server `2631c46` adds `SearchIndexPath`
+(MirrorMode, set to `/var/lib/plebleader/search`); nix-pleb bumps it. The
+index rebuilds 2 s after the API starts and then every 6 h, so songs a sync
+adds become searchable at the next rebuild. The next `plebleader-sync`
 run re-imports with the merge.
 
 ScoreSaber scores become BeatLeader `Score` rows, and each leaderboard keeps