This software may be copied or redistributed as long as it is not sold
for profit, but it can be incorporated into any other substantive
product with or without modifications for profit or non-profit.
I'm not really sure here. Technically, @BINARY-REDIST* says this shouldn't be considered redistributed as it prohibits for-profit redistribution. However, that 'substantive product' may apply here as well.
@licenses, any idea?
The problem is that it isn't clear what "incorporated" means, and if distributing a binary package (possibly along with other binary packages on the same medium) is incorporation into a product.
IANAL, but I think that binpkgs distributed e.g. on a DVD form a collective work, which usually doesn't affect the copyright of its components. So I would err on the side of caution and add the bindist restriction.
(As a side note, could you please indicate the name of the license in your bug reports? In this case CDF vs cdf is trivial, but in other bugs it was not.)