Pour votre information : j'ai juste déployé un correctif rapide pour quelques bugs agaçants dont j'ai entendu parler dans la barre de recherche. · certains mots-clés provoquaient des erreurs d'application -- c'est maintenant corrigé. · les résultats de recherche priorisent désormais l'affichage des tokens vérifiés en premier, cela devrait sembler plus intuitif.