Redirecting to https://github.com/chenglou/pretext/blob/main/AGENTS.md …

Outbound link 216 from AGENTS.md Tracker. This page only forwards you to GitHub; it records nothing beyond the server's standard access log.