On Fri, Sep 29, 2023 at 10:47 PM Davide <dv.ferracin@gmail.com> wrote: > > Ah, che bella notizia. Grazie! Proporrò qualcosa lì allora. Credo convenga discutere i termini da aggiungere qui, non so quanti siano attivi su GitHub. Una volta deciso, si apre una pull-request (in caso aggiungimi come reviewer). Ciao. -- Milo Casagrande