per risolvere i problemi di traduzione descritti nel post #2, è necessario riavviare il terminale.