Hi Norbert, > You need to use **https://** to use this repository. OK. But I actually never asked to use this repository, at first I was just running “tlmgr update” and it selected the wrong URL all by itself. > Bottomline: not a problem in our code Maybe not in the code, but definitely in the mirror list. Thanks, FX