> Btw: texlive.org is still available. Well, then I guess the TUG should get it ! We've (speaking as TUG board member here :) offered many times but Sebastian never wanted it. However, I think we're just going to get it :).