Optimize search (8x speedup) #2255

Job	Run time
CSS for HTML themes	45s
NodeJS for prerender	1m 6s
Documentation: html	1m 10s
PDF/LaTeX backend	3m 54s
Linkcheck: online tests	1m 59s
Documentation: pdf	2m 57s
Linkcheck: Documenter manual	5m 59s
Julia 1.6 - ubuntu-latest - x64	4m 8s
Prettier (JS code formatting)	6s
Julia 1.6 - macos-latest - x64	7m 58s
Julia 1.6 - windows-latest - x64	16m 28s
Julia 1 - ubuntu-latest - x64	3m 22s
Julia 1 - macos-latest - x64	6m 0s
Julia 1 - windows-latest - x64	5m 3s
Julia nightly - ubuntu-latest - x64	4m 11s
Julia nightly - macos-latest - x64	7m 21s
Julia nightly - windows-latest - x64	6m 7s
Julia 1 - ubuntu-latest - x86	3m 36s
	1h 22m 10s

Provide feedback