> If you want that distribution texlive is not installed, then you need such a dummy package. Thanks Norbert. I did find another solution. I (temporarily) enabled an "unstable" repository, and the texlive that got installed was 2020 :+) Bob T.