diff --git a/docs/turn-loop/config.md b/docs/turn-loop/config.md
index 6d027c01..ebc14000 100644
--- a/docs/turn-loop/config.md
+++ b/docs/turn-loop/config.md
@@ -240,13 +240,7 @@ It leaves non-compile subcommands (`new`, `add`, third-party
 Set to `false` for agents that parse cargo's JSON output
 programmatically and don't pass `--message-format json` themselves.
 
-<!-- vale Microsoft.Avoid = NO -->
-<!-- "backend" here means "which LLM API provider" (a genuinely pluggable
-     choice, matching the nix option's own name `backendEnvironmentFile`) —
-     not one internal system to name instead, so mara's #4041 ruling doesn't
-     apply to this section. -->
-
-## API-key backend (`useApiKey` / `backendEnvironmentFile`)
+## API-key provider (`useApiKey` / `backendEnvironmentFile`)
 
 ```nix
 hyperhive.useApiKey = true;               # default: false
@@ -255,7 +249,7 @@ hyperhive.backendEnvironmentFile =
 hyperhive.model = "anthropic/claude-3.5-sonnet"; # provider-specific model string
 ```
 
-Runs this agent's `claude` against an API-key backend (for example OpenRouter)
+Runs this agent's `claude` against an API-key provider (for example OpenRouter)
 instead of a Claude subscription via OAuth. Two options, paired — each
 is a no-op without the other:
 
@@ -305,6 +299,4 @@ Switching an already-provisioned OAuth agent to `useApiKey` leaves
 `~/.claude/credentials.json` in place but unused — harmless, not
 cleaned up automatically. Cost shape also changes: subscription pricing
 → per-request billing with no built-in monthly cap, worth knowing before
-pointing a busy agent at a metered backend.
-
-<!-- vale Microsoft.Avoid = YES -->
+pointing a busy agent at a metered provider.