spip dl est toujours sur la 3.2 par défaut

Par ici : https://git.spip.net/spip-contrib-outils/spip-cli/src/branch/master/src/Command/CoreTelecharger.php#L39

Je prépare la PR