Update Pi links to the renamed repo and npm package

[gary149]

Pi's GitHub repo was renamed from badlogic/pi-mono to earendil-works/pi, and its npm package moved from @mariozechner/pi-coding-agent (now deprecated, frozen at 0.73.1) to @earendil-works/pi-coding-agent (currently 0.84.2).

• docs/hub/agents-local.md: install command now uses the new package name
• docs/inference-providers/integrations/pi.md and index.md: repo links point to https://github.com/earendil-works/pi

docs/hub/agent-traces.md is left unchanged: it links badlogic/pi-share-hf, which was not part of the rename.

Docs counterpart of huggingface/huggingface.js#2390.

---

Note

Low Risk
Documentation-only link and package name updates with no runtime or API changes.

Overview
Updates Hugging Face docs so Pi install and source links match the earendil-works rename.

docs/hub/agents-local.md now tells users to install @earendil-works/pi-coding-agent instead of the deprecated @mariozechner/pi-coding-agent.

docs/inference-providers/integrations/pi.md and index.md (overview table and Developer Tools list) now link to https://github.com/earendil-works/pi instead of badlogic/pi-mono. No setup or Inference Providers configuration text was changed beyond those URLs.

^{Reviewed by Cursor Bugbot for commit 01e621a. Bugbot is set up for automated code reviews on this repo. Configure here.}

[HuggingFaceDocBuilderDev]

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

[Pierrci]

Suggested change

	| [Pi](https://github.com/earendil-works/pi) | Minimalist terminal-based coding assistant | [Getting started](./pi) |
	| [Pi](https://github.com/earendil-works/pi) | Minimalist terminal-based coding assistant | [Getting started](./pi) |

just to preserve alignment in the markdown table columns :D

[pcuenca]

As an alternative, we could link to https://pi.dev, not sure what's better.

[pcuenca]

They use --ignore-scripts in their npm install one-liner.

Also, should we recommend the curl installation command instead? (We may have discussed about this already, can't remember)

[pcuenca]

As an alternative, we could link to https://pi.dev, not sure what's better.