It was swept intod5e0731by a stray `git add -u` while amending an unrelated commit. Nothing syncs infra/argocd, so the cluster was never affected, but the file did not belong in that change. The content is still reachable atd5e0731if it is wanted back.