Keep basic documentation up in search results

[Moin]

You can choose a higher search priority for that category.

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