I personally wouldn't support this. we are not .com people, and whats wrong with texlive.tug.org? or am I out of fashion? It's just typical these days to use as many domain names as possible :). Nothing's wrong with texlive.tug.org, it's good with me. I'll see about the machine.