Je n’ai pas une expérience très satisfaisante avec le moteur de recherche du CTAN… Voir par exemple ici : https://forum.gutenberg-asso.fr/t/tableofcontents-non-traduit-en-doctex/2813/2.
Le CTAN fait ce qu’il peut, avec des bénévoles, et le moteur de recherche Apache Lucene (https://en.wikipedia.org/wiki/Apache_Lucene).
Voir : https://ctan.org/credits (style production de cinéma)
Mais il arrive qu’il soit plus efficace de chercher sur un moteur de recherche généraliste pour trouver un élément présent sur le CTAN.
