Per lo più ortografia e un push-->pull

Da segnalare, per una revisione dell’autore, la riga 1224 che non è
chiaro (a me) cosa significhi la parentesi.