Repository navigation

Docs: update main page #1917

Job	Run time
build and typecheck (ubuntu-latest)	1m 15s
test (ubuntu-latest, 1/2)	1m 46s
test (ubuntu-latest, 2/2)	2m 43s
test (ubuntu-latest, unit)	2m 8s
live-e2e	-1s
done	4s
	7m 55s