Doc changes from Ralf

2 jobs for !780 with local-instances in 2 minutes and 7 seconds (queued for 4 seconds)
merge request