Thank you very much, Andreas — very interesting, and very informative. /** Phil./ -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/texhax/attachments/20200516/90dc01ef/attachment.html>