merge develop -D org -I include -E exclude: PR 369 (Cpp: Correct content and markup)
merge develop -D org -I include -E exclude: PR 378 (Add menu for OME5 documentation sets)
merge develop -D org -I include -E exclude: PR 379 (Jenkins docs job (rebased onto develop))