Clarify distinction between contents of dist/ and ext/.

Amended with a suggestion from rjbs.

For: RT #120808