Mantener documentación básica en los resultados de búsqueda

[Moin]

Puedes elegir una mayor prioridad de búsqueda para esa categoría.

(Quizás Making #documentation more prominent in Search también sea interesante para ti)