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.