Thanks, Norbert, that is indeed a reasonable solution that avoids disruption. Ralph -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/tex-live/attachments/20191128/89b147ca/attachment.html>