Cela faisait des années que je déplorais l'absence d'un moteur de recherche pour Pluxml, et n'avait pas réussi les différentes bidouilles proposées.

Récemment j'ai découvert sur le wiki de Pluxml un tutoriel court et simple qui m'a permis d'ajouter une case de recherche en haut à droite de mon blog.