It would be great to narrow down to a standard as contributors to the same repo can use different agents: Jonathan's hobby project.

It would be great to narrow down to a standard as contributors to the same repo can use different agents: Jonathan's hobby project. #2911