Ok, I think/hope tlnet on tug.org has been fixed up. bin-texlive and texlive.infra were updated. Robin, if you could kick off a manual mirroring, that would be much appreciated. Thanks, Karl