Ci deve essere stato un errore (nn so se mio) ma il package dist risulta ancora sotto il mio nome, mentre io ho già fatto il commit tempo fà! Ho già mandato un'email al maintainer ma ho ritenuto oppurtuno avvertire anche voi. CIAO