That said, AGENTS.md doesn't seem like a good name, right?, technically, it's an instructions file read by a single agent, not necessarily for agents, so it always struck me as a bit odd

But until the next standardization, keeping just AGENTS.md is the best approach.