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.)
- Bug#1051497: closed by Debian FTP Masters <ftpmas...@ftp... Al Ma
