@marinaiomec
Toglimi una curiosità: dove trovi le opzioni? Strumenti->Opzioni o Modifica->Preferenze?
Come non detto: ho provato a scaricare entrambi e decomprimerli, alla fine ci sono 500byte di differenza, numero di file e cartelle sono identici. La mia paura è che venissero rimosse stringhe specifiche per il sistema operativo, così non è. La differenza probabilmente si spiega con il tipo di compressione utilizzato.