Good practice for university of how to use agents in courses rather than forbidding those without distinction. Official AGENTS.md may be a new pattern in university courses.