Bug#1051497: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Hilmar Preusse <hille42@web.de>) (Bug#1051497: fixed in texlive-extra 2023.20231007-1)
Thank you! Now all the mentioned bugs seem to be repaired.
How to find out the NewTX version shipped with Debian texlive-fonts-extra? Running locate newtx | xargs grep -r "1\.726" returns nothing from the system-wide directories.
(Running tlmgr info newtx as a normal user yields no results, and I don't know whether running this command as root would break anything.)
Reply to: