merge develop -D org -I include -E exclude: PR 354 (Improve description of Jenkins jobs in the documentation (rebased onto develop))
merge develop -D org -I include -E exclude: PR 360 (9538 develop)