Juste pour dire que cette branche étant pour spip 4 minimum, il est possible de supprimer cette ligne de paquet.xml:
paquet.xml · master · spip-contrib-extensions / lim · GitLabSpip 4 demande php 7.3 mini, donc elle ne sert plus à rien
Ah ben oui 
Merci ta vigilance Franck !