Repository navigation

Remove the legacy proxy token #1915

Job	Run time
build and typecheck (ubuntu-latest)	1m 15s
test (ubuntu-latest, unit)	2m 4s
test (ubuntu-latest, 1/2)	1m 35s
test (ubuntu-latest, 2/2)	1m 25s
live-e2e	0s
done	3s
	6m 22s