Comme je l'avais annoncé en début d'année, je prévoyais l'ajout d'un moteur de recherche dans la section Downloads, histoire de parcourir plus facilement le lot de documents mis à disposition sur le site...
C'est maintenant chose faite avec une première version, basique mais fonctionnelle, qui sera certainement améliorée au cours des semaines à venir.
Enjoy.