The way they use their config filename as free advertising still annoys me. Everyone else is using AGENTS.md.