This is a linux environment, read `AGENTS.linux.md`.