docs: add direct editing developer documentation #34569

Job	Run time
Prepare PDF build image	21s
Building admin_manual ePub	1m 22s
Building user_manual-en HTML	1m 21s
Building user_manual ePub	1m 36s
Building developer_manual HTML	1m 18s
Building developer_manual ePub	1m 9s
Building admin_manual HTML	2m 0s
Building user_manual HTML	7m 33s
Building user_manual PDF	4m 14s
Building admin_manual PDF	7m 40s
Stage and check documentation	1m 7s
Deploy Netlify preview	4m 36s
Check for broken links	1m 24s
Deploy documentation for gh-pages	0s
build-deploy-summary	8s
	35m 49s

Navigation Menu