Modifier plugin-dist

Bonjour,
je voulais modifier un fichier de plugin-dist et je suis tombé là-dessus :
https://spip-zone.rezo.narkive.com/o1CE5IYP/surcharge-un-dossier-de-plugin-dist

À priori, il faut mettre la modif dans plugins/mon_plugins/.../truc_changé.html mais cela n’est pas pris en compte.

Il faudrait, si je comprends bien, aussi mettre un fichier plugins/mon_plugins/plugin.xml avec <necessite> ou <utilise> dedans.

Du type :
<utilise nom="nom_plugin_dist" compatibilite="[1.0.0;[" />

Il faut juste cela comme code dans le fichier plugin.xml ou des trucs avant et après ? (Je suis pas doué en code ;) ). Je dois pas être trop loin, mais ça ne prend pas les modifs en compte.

Ben