On 20/10/2020 18:22, Paulo Roberto Massa Cereda wrote: > Might be relevant for the current discussion: > > https://tug.org/pipermail/tex-live/2019-November/044473.html Indeed: perhaps the right question is 'How does TeXShop get around this'? :) Joseph