rustdoc: tweak the search index format#83003

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

notriddle:rustdoc-index-v3notriddle/rust:rustdoc-index-v3Copy head branch name to clipboard