Skills are lazy loaded. AGENTS.md is not. It’s stupid regardless.