P.S. I have used computers all my life, but I am not a programmer. I could probably count on one hand the number of times I have used Terminal. (. /\_ /\ .) >^.^< (__(__) -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/texhax/attachments/20220811/73c1a530/attachment.html>