2011/1/23 Karl Berry <karl at freefriends.org>: > However, none of this should matter. You're wrong: Without it, tlmgr doesn't find any mirror. Norbert already has a fix. Best Martin