Grazie per la segnalazione Lucasp, ma il file zippato che mi sono scaricato non viene aperto ne con winzip ne con gunzip sotto linux.
Puoi dirmi, per favore, che cosa devo fare per leggerlo? E anche che tipo di manuale mi hai consigliato di scaricare?

Grazie per l'attenzione.