This provides better user experience for the search box on the documentation page. The search results show now the rule name, the language and the ruleset name.
git-subtree-dir: docs git-subtree-mainline: 23545aa7ea599faf17737de9879733a1bde700d1 git-subtree-split: 106142b25c9387ffd002437027ced1b04f494205