Le plugin crayons

Bonjour,

j’aimerais désinstaller le plugin crayon de mon spip 2.0.10

Je l’avais installé pour faire une page en forme de wiki facilement personnalisable, mais un administrateur réseau m’a demandé de l’enlever pour des raisons de sécurité.

Malheureusement, il a collé ses balises #EDIT dans une dizaine de fichiers qui concernent l’interface privée. Résultat, si je désinstalle le plugin, l’interface privée buggue. Le pompon c’est qu’il rajoute ces balises #EDIT dans l’affichage des balises du type <doc12|center> sans que je lui ai rien demandé.

Si quelqu’un sait comment se débarrasser de lui, merci !