remove TelNames #1174

Job	Run time
initialise	4s
quick-check	5m 27s
ubuntu-bootstrap-racket	12m 29s
nix-bootstrap-chez	19m 9s
ubuntu-bootstrap-chez	6m 37s
macos-bootstrap-chez	7m 50s
ubuntu-self-host-previous-version	10m 17s
windows-bootstrap-chez	24m 53s
ubuntu-build-api	4m 7s
ubuntu-self-host-chez	9m 57s
macos-self-host-chez	17m 56s
ub-test-collie	27s
ub-test-elab-util	42s
ub-pack-test-pack	11m 54s
ub-pack-test-lsp	15m 22s
ub-test-frex	3m 39s
ub-test-katla-and-html	5m 36s
ubuntu-self-host-racket	0s
windows-self-host-racket	11m 34s
	2h 48m 0s

Provide feedback