Repository navigation

Two spellings of one version constraint are one source (#647 E4.2 fol… #1700

Job	Run time
bare-metal e2e (riscv64-none-elf + cortex-m, qemu)	8m 6s
e2e 2/2 (linux x86_64, self-host)	22m 8s
hermetic e2e (no host toolchain, container)	10m 30s
e2e 1/2 (linux x86_64, self-host)	16m 32s
android e2e (NDK rows + x86_64 emulator)	10m 21s
	1h 7m 37s