diff --git a/apps/docs/content/docs/ai/install-and-connect.mdx b/apps/docs/content/docs/ai/install-and-connect.mdx
index 89a9baa3..ee820158 100644
--- a/apps/docs/content/docs/ai/install-and-connect.mdx
+++ b/apps/docs/content/docs/ai/install-and-connect.mdx
@@ -17,13 +17,13 @@ ProofKit installs several pieces that work together: a FileMaker add-on, a FileM
   <Step>
     **Download and run the installer.**
 
-    Before you run it, quit FileMaker Pro and your coding agent, such as Claude Desktop. Then get the installer for your platform:
+    Before you run it, **fully quit both FileMaker Pro and your coding agent** (Claude Desktop, Cursor, etc.). They must be closed during installation so the new plug-in and integrations register correctly. Then get the installer for your platform:
 
     <DownloadLink />
 
     The installer sets up the local ProofKit tools and registers integrations for supported coding agents.
 
-    After the installer finishes, reopen FileMaker Pro and your coding agent so they load the new ProofKit plug-in and integrations.
+    After the installer finishes, **restart both FileMaker Pro and your coding agent** (Claude Desktop, Cursor, etc.) so they load the new ProofKit plug-in and integrations. Skipping this restart is the most common cause of connection failures.
   </Step>
 
   <Step>