Remove unneeded extra chars to reduce search-index size#56709

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

GuillaumeGomez:reduce-search-indexGuillaumeGomez/rust:reduce-search-indexCopy head branch name to clipboard