Merge branch 'jc/doc-merge-options' into maint