Plugins groupes_mots_arborescents et medias_responsive_mod en 404

Bonjour à tou·tes,

Tout d'abord, toutes mes excuses si ce n'est pas le bon endroit pour
signaler ce problème.

Je suppose que c'est lié aux erreurs apparues sur le système de
fichiers de git.spip.net la semaine dernière (d'après les mails
lus ici), mais les plugins groupes_mots_arborescents et
medias_responsive_mod sont en erreur 404 sur plugins.spip.net :
- https://plugins.spip.net/gma.html
- https://plugins.spip.net/medias_responsive_mod.html

Je ne suis pas bien familier avec la manière dont sont construites
les pages de plugins.spip.net, mais je me dis que le fait que les
liens vers les releases de ces plugins sur git.spip.net renvoient
aussi des 404 n'y est peut-être pas étranger :
- https://git.spip.net/spip-contrib-extensions/groupes_mots_arborescents/src/tag/v1.2.10
- https://git.spip.net/spip-contrib-extensions/groupes_mots_arborescents/src/tag/v1.2.11
- https://git.spip.net/spip-contrib-extensions/medias_responsive_mod/src/tag/v1.11.6

Bon courage à vous, en tout cas, et merci beaucoup pour le boulot !

++
Glop