Making #documentation more prominent in Search

[thoka (Thomas Kalka)]

I wonder if using tags to improve the ranking of search results (adding rating modifiers to tags) would allow further fine-tuning.