Do not include headers in search index#3179

ehuss merged 1 commit intorust-lang:masterrust-lang/rfcs:masterfrom

notriddle:notriddle/search-index-smallernotriddle/placement-by-return:notriddle/search-index-smallerCopy head branch name to clipboard