healthcare.gov is internally inconsistent on this point:
No
Include them only if you’ll claim them as tax dependents.
