Repository navigation

improvement(search): shorter live document IDs #1394

Job	Run time
docs changes	26s
docs benchmark (${{ matrix.target }})	-1s
docs build	1m 15s
docs source	1m 45s
docs acceptance (webkit)	2m 11s
docs acceptance (http)	1m 49s
docs acceptance (corpus)	2m 32s
docs acceptance (chromium)	2m 1s
docs HTTP	2s
	12m 0s