feat: add session runtime reload command

docs/config.html

@@ -143,7 +143,7 @@
                 <li><code>spawnSessions</code> / <code>subsessions</code>: restart the session daemon.</li>
                 <li><code>pathAccess</code>: applies on the next request; existing file views may need a browser refresh.</li>
                 <li><code>plugins</code>: reload the browser tab after changing PI WEB plugin enablement.</li>
-                <li>Pi package install/remove/update: not a PI WEB config key; after a mutation, reload the browser page for newly discovered PI WEB browser plugins and reload existing Pi sessions (or use <code>/reload</code> in Pi) for session-runtime resources. A routine session daemon restart is not required.</li>
+                <li>Pi package install/remove/update: not a PI WEB config key; after a mutation, type <code>/reload</code> in each idle PI WEB session to refresh Pi runtime resources such as extensions, skills, prompt templates, themes, and context/system prompt files as supported by Pi. Reload the browser page separately for PI WEB browser plugin changes. A routine session daemon restart is not required.</li>
                 <li><code>shortcuts</code>: saved settings apply in the browser after config refresh/save.</li>
               </ul>
             </section>

docs/config.md

@@ -37,7 +37,7 @@ Process restarts depend on the key:
 - `pathAccess`: applies on the next request; existing file views may need a browser refresh.
 - `uploads.defaultFolder`: applies to newly opened Files upload dialogs and new direct drag/drop batches after config/workspace refresh.
 - `plugins`: reload the browser tab after changing PI WEB plugin enablement.
-- Pi package install/remove/update: not a PI WEB config key; after a mutation, reload the browser page for newly discovered PI WEB browser plugins and reload existing Pi sessions (or use `/reload` in Pi) for session-runtime resources. A routine session daemon restart is not required.
+- Pi package install/remove/update: not a PI WEB config key; after a mutation, type `/reload` in each idle PI WEB session to refresh Pi runtime resources such as extensions, skills, prompt templates, themes, and context/system prompt files as supported by Pi. Reload the browser page separately for PI WEB browser plugin changes. A routine session daemon restart is not required.
 - `shortcuts`: saved settings apply in the browser after config refresh/save.
 
 ## Global config example

docs/plugins.html

@@ -130,8 +130,8 @@
               <h2>Pi packages vs PI WEB plugins</h2>
               <p>
                 <strong>Pi packages</strong> are packages managed by Pi (<code>pi install</code>, <code>pi remove</code>,
-                <code>pi update</code>). A Pi package can provide extensions, skills, prompt templates, themes, and/or
-                PI WEB browser plugins. Many Pi packages do not include a PI WEB plugin.
+                <code>pi update</code>). A Pi package can provide extensions, skills, prompt templates, themes,
+                context/system prompt files, and/or PI WEB browser plugins. Many Pi packages do not include a PI WEB plugin.
               </p>
               <p>
                 <strong>PI WEB plugins</strong> are browser-side UI modules discovered from bundled, local, dev, and
@@ -146,10 +146,11 @@
               </p>
               <p>
                 Use <strong>Settings → PI WEB plugins</strong> to enable or disable discovered PI WEB browser plugins
-                before the browser imports them. After installing, removing, or updating a Pi package, reload the browser
-                page to import newly discovered PI WEB browser plugins. Reload existing Pi sessions, or use
-                <code>/reload</code> in Pi, so extensions, skills, prompt templates, and themes are rediscovered. A
-                routine session daemon restart is not required.
+                before the browser imports them. After installing, removing, or updating a Pi package, type
+                <code>/reload</code> in each idle PI WEB session to refresh Pi runtime resources such as extensions,
+                skills, prompt templates, themes, and context/system prompt files as supported by Pi. Reload the browser
+                page separately for newly discovered or changed PI WEB browser plugins. A routine session daemon restart
+                is not required.
               </p>
             </section>
 

docs/plugins.md

@@ -15,13 +15,13 @@ They do **not** run in the session daemon, do not get a server-side hook API, an
 
 ## Pi packages vs PI WEB plugins
 
-**Pi packages** are packages managed by Pi (`pi install`, `pi remove`, `pi update`). A Pi package can provide extensions, skills, prompt templates, themes, and/or PI WEB browser plugins. Many Pi packages do not include a PI WEB plugin.
+**Pi packages** are packages managed by Pi (`pi install`, `pi remove`, `pi update`). A Pi package can provide extensions, skills, prompt templates, themes, context/system prompt files, and/or PI WEB browser plugins. Many Pi packages do not include a PI WEB plugin.
 
 **PI WEB plugins** are browser-side PI WEB UI modules discovered from bundled, local, dev, and installed Pi-package sources. Enabling or disabling a PI WEB plugin is a PI WEB config task; installing, removing, or updating a Pi package is a Pi package-manager task.
 
 Use **Settings → Pi packages** to view configured Pi packages or install/remove/update a package. Enter only the package source, such as `npm:@scope/package`, a git/URL source, or a local path. PI WEB uses Pi's default package location, equivalent to `pi install <source>`, and does not ask for an install location.
 
-Use **Settings → PI WEB plugins** to enable or disable discovered PI WEB browser plugins before the browser imports them. After installing, removing, or updating a Pi package, reload the browser page to import newly discovered PI WEB browser plugins. Reload existing Pi sessions, or use `/reload` in Pi, so session-runtime resources such as extensions, skills, prompt templates, and themes are rediscovered. A routine session daemon restart is not required.
+Use **Settings → PI WEB plugins** to enable or disable discovered PI WEB browser plugins before the browser imports them. After installing, removing, or updating a Pi package, type `/reload` in each idle PI WEB session to refresh Pi runtime resources such as extensions, skills, prompt templates, themes, and context/system prompt files as supported by Pi. Reload the browser page separately for newly discovered or changed PI WEB browser plugins. A routine session daemon restart is not required.
 
 ## Trust model