Merge topic 'ExternalProject_exclude-from-all'

f4fe6322 Help: Add notes for topic 'ExternalProject_exclude-from-all'
Merge branch 'master' into next