grazie Weatherman, seguirò il consiglio.
tra le altre il 7 è di molto più veloce rispetto al 5,
per non parlare della compatibilità coi documenti in circolazione.
Non che ne voglia tessere le lodi, anzi, solo è un prodotto(con tutti i suoi brevetti, ahinoi) "performante"... soprattutto se avete come me esigenze di lavorare su grossi documenti e in modo assiduo.
PS. uso Gnome