Omit words longer than 80 characters from the search index#1833

Merged

ehuss merged 2 commits intorust-lang:masterfrom mattheww:2022-06_searchindex

Jun 27, 2022

+23-5

Commits on Jun 26, 2022

When creating the search index, omit words longer than 80 characters
mattheww
committed
Test that long words are omitted from the search index.
mattheww
committed