tools/diff.py : différence entre deux .vidjil
Évoqué à l'occasion de #4614. Le but est d'avoir un script donnant rapidement les différences, et pouvant être lancé 100+ fois pour des comparaisons massives.
Voir si cela fonctionne encore, mettre à jour, tester. (Coupler un jour avec benchmark-releases
?)