minuzione finali

Ho sostituito gli ultimi "Emacs" sfuggiti con "\emacs"; "Dicembre" →
"dicembre"; Linux → GNU/Linux; ho corretto un bad box; altre piccole
correzioni di forma.

Ho redistribuito il testo in molti capoversi usando `M-q'.  Per ignorare
queste modifiche nel log di git puoi usare l'opzione `--color-words' di
`git log' o `git diff'.