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

[Moin]

You can choose a higher search priority for that category.

(Maybe Making #documentation more prominent in Search is also interesting for you)