docs: update user count in AGENTS.md (#11413)

a3fb5392e3kamkm committed on 10/1/2026, 7:08:13 PM· committed by GitHubparentb91e466
1 file changedLine totals unavailable