Repository navigation

docs: add deployment methods comparison table #33582

Job	Run time
Building user_manual PDF	3m 44s
Building developer_manual HTML	36s
Building user_manual HTML	4m 21s
Building user_manual-en HTML	26s
Building admin_manual HTML	32s
Building admin_manual PDF	3m 30s
Stage and check documentation	0s
build-deploy-summary	5s
Check for broken links	-1s
Deploy documentation for gh-pages	-1s
	13m 12s