Friends, I see that there exists tex-live at tug.org and texlive at tug.org. What's the difference? Is there a difference? Werner