Bruno, > To Axel and Norbert: this is a duplication of 4 entries in newtx.map > and SticksTooText.map. I reported this directly to Michael Sharpe on > May 17 [...]. So Michael knows about it, and a fix should come in due > time. Thank you! Best Axel