Grazie!
Nota a margine: poiché le modifiche all’ultimo post non fanno più risaltare l’argomento, un edit non funziona bene come notifica. Un tuo collega ha detto una volta che bisognerebbe semplicemente pubblicare aggiornamenti separati. È interessante notare che spesso voi stessi non lo fate.