Repository navigation

Disable version 3.9 as EOL #1037

Job	Run time
sync / sync	46s
sync / commit	23s
check / Build docs (html)	6m 28s
check / Check for zero-width space characters	7s
check / Build docs (latex)	4m 52s
check / Build docs (epub)	7m 5s
check / Lint translations	39s
check / Build docs (pdf)	9m 9s
	29m 29s