Fix #2113 improve doc search results

Insert popularity and boost docs results.