> Btw: texlive.org is still available. > Thomas, is tetex.org associated with the teTeX we know? No, unfortunately. I was never interested in registering domain names, but now I think that this was a mistake. Thomas