AGENTS.md #94 on Overbid