Quelques idées en vrac pour une refonte du plugin

Bonjour,

Je pose ça là des fois que je me motive à le faire un jour :

• passer le code en Wheel : https://contrib.spip.net/Tutoriel-Masquer-ou-ajouter-des-raccourcis-dans-le#Ajouter-des-raccourcis-dans-la-barre-d-edition
• supprimer le JS et être en pur HTML avec details et summary : https://developer.mozilla.org/en-US/blog/html-details-exclusive-accordions/ (et au passage gérer une version se comportant en accordéons)