il manuale dei comandi esiste già, nel Terminale stesso, solo che le spiegazioni sono in inglese