From 65225d0156e7d0202aa80608665b454a481d26b5 Mon Sep 17 00:00:00 2001
From: alexion <contact@alexion.dev>
Date: Sun, 11 Oct 2026 17:32:45 -0400
Subject: [PATCH] docs: remove package ownership gotcha

---
 AGENTS.md | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/AGENTS.md b/AGENTS.md
index 8d84652..2a04a27 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -126,6 +126,3 @@
   Gitea rebases the synthetic upstream root commit without the `third_party/pi` prefix.
   Preserve `git-subtree-dir` and `git-subtree-split` trailers on Pi vendor commits.
 - The default Pi model for NixOS user configuration is set in `configs/nixos/modules/shell/pi/default.nix`, not in vendored Pi source.
-- Home Manager uses the NixOS package set in this repository.
-  Use `pkgs` for Home Manager tool commands unless a NixOS `config.programs.<name>.package`
-  option owns the selected package.