Gruppo Utilizzatori Italiani di TeX
ho riscaricato la nuova versione. e nel contempo ho pure riavviato il mac, per altri motivi. sta di fatto che ora non ho più il problema del copia/incolla del testo dal pdf. presumo fossi io ad avere qualche problema.