Repository navigation

Remove the legacy proxy token #1916

Job	Run time
build and typecheck (ubuntu-latest)	1m 14s
test (ubuntu-latest, 2/2)	1m 37s
test (ubuntu-latest, 1/2)	1m 33s
test (ubuntu-latest, unit)	2m 17s
live-e2e	-1s
done	2s
	6m 42s