Merge branch 'main' into issue-76-clarify-search-results #167

Job	Run time
build (ubuntu-20.04, 1.22, amd64)	51s
build (ubuntu-20.04, 1.22, arm64)	50s
build (ubuntu-20.04, 1.22, arm)	1m 15s
build (ubuntu-20.04, 1.22, riscv64)	1m 3s
build (ubuntu-20.04, stable, amd64)	1m 6s
build (ubuntu-20.04, stable, arm64)	1m 4s
build (ubuntu-20.04, stable, arm)	1m 0s
build (ubuntu-20.04, stable, riscv64)	1m 23s
build (ubuntu-22.04, 1.22, amd64)	45s
build (ubuntu-22.04, 1.22, arm64)	47s
build (ubuntu-22.04, 1.22, arm)	39s
build (ubuntu-22.04, 1.22, riscv64)	51s
build (ubuntu-22.04, stable, amd64)	1m 18s
build (ubuntu-22.04, stable, arm64)	43s
build (ubuntu-22.04, stable, arm)	50s
build (ubuntu-22.04, stable, riscv64)	43s
build (ubuntu-latest, 1.22, amd64)	45s
build (ubuntu-latest, 1.22, arm64)	36s
build (ubuntu-latest, 1.22, arm)	43s
build (ubuntu-latest, 1.22, riscv64)	59s
build (ubuntu-latest, stable, amd64)	44s
build (ubuntu-latest, stable, arm64)	43s
build (ubuntu-latest, stable, arm)	1m 21s
build (ubuntu-latest, stable, riscv64)	40s
screenshot	3s
	21m 42s

Provide feedback