docs(user): shipped copy says Pylon, not T3 Code

`docs/user/` is shipped-product voice, and an inherited compatibility name is
not permission to keep upstream's product name in it. providers-codex.md picked
this up in the 2026-08-24 batch, when the de-branding pass that reworded the
adjacent Codex /feedback section missed the app-approval one.

Three more are outside docs/user and are the same concern:

- ChatView's pull-request-unavailable string, which had drifted from its own
  test — PullRequestsUnavailableState.test.tsx already asserts "Pylon".
- The versionSkew doc comment sitting above a hint deliberately kept as "Pylon".
- The defaultThreadEnvMode schema description, which surfaces to anyone
  editing a project file.

Compatibility identifiers are untouched: t3.json, .t3, the T3-named podspecs
and source filenames, and the branding tests that exercise the upstream base
name. docs/user/install.md keeps its two references because they name T3 Code
as the separate app Pylon installs beside. The docs/internals and
docs/operations sweep belongs to the open #67.

Author: rynfar

apps/web/src/components/ChatView.tsx

@@ -7490,7 +7490,7 @@ function ChatViewContent(props: ChatViewProps) {
     ) : activeRightPanelSurface?.kind === "pull-request" && !supportsPullRequests ? (
       <PullRequestsUnavailableState
         title="Pull requests unavailable"
-        error="Update this environment's T3 Code server to browse pull requests."
+        error="Update this environment's Pylon server to browse pull requests."
       />
     ) : activeRightPanelSurface?.kind === "pull-request" ? (
       // No onClose: the surface tab's own X owns closing here, and a second X in the header

apps/web/src/versionSkew.ts

@@ -30,7 +30,7 @@ function versionCore(version: string): string {
 }
 
 /**
- * The skew a user can act on: the connected server runs an older T3 Code than
+ * The skew a user can act on: the connected server runs an older Pylon than
  * this client, so the server is the side that needs updating.
  *
  * Versions compare as semver on their core `major.minor.patch` only. Nightlies

docs/user/providers-codex.md

@@ -36,7 +36,7 @@ and share with OpenAI employees.
 
 ## Approve access to other apps
 
-When a Codex tool needs access to an app such as Safari, T3 Code shows the app name and asks for
+When a Codex tool needs access to an app such as Safari, Pylon shows the app name and asks for
 approval. You can approve, decline, or cancel the request from the desktop app, web app, or mobile
 app. Some tools also offer approval for the current session or permanent approval.
 

packages/contracts/src/t3ProjectFile.ts

@@ -77,7 +77,7 @@ export const T3ProjectFile = Schema.Struct({
   defaultThreadEnvMode: Schema.optionalKey(
     ThreadEnvMode.annotate({
       description:
-        'Where new threads start for this repository: "worktree" for a fresh git worktree, "local" for the current checkout. A per-project setting in T3 Code overrides this; when neither is set, the global default applies.',
+        'Where new threads start for this repository: "worktree" for a fresh git worktree, "local" for the current checkout. A per-project setting in Pylon overrides this; when neither is set, the global default applies.',
     }),
   ),
   scripts: Schema.optionalKey(