Repository navigation

fix(search): remember the last selected view (#9633) #807

Job	Run time
docs changes	1m 24s
docs benchmark (${{ matrix.target }})	0s
docs build	3m 17s
docs source	0s
docs HTTP	3s
docs acceptance (${{ matrix.group }})	1s
	4m 45s