plugins spip net

https://git.spip.net/spip-galaxie/plugins-spip-net

il a été migré ? je le vois pas ici

https://git-lab.spip.net/spip-galaxie