Make doc search results use <a> tags instead of js for navigating#16909

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

carols10cents:docs-linksCopy head branch name to clipboard