Comment by dpkirchner

I'm pretty sure some agent harnesses read both files when present, so this @ "aliasing" is more token efficient.