(...)
> > (b) the Software is distributed with your Operating System, and
> > such distribution is solely for the purposes of running Programs
> > under the control of your Operating System and designing,
> > developing and testing Programs to be run under the control of
> > your Operating System;
>
> non-free is not part of Debian so we definetly don't distribute it as
> part of the Operating system.
Note that the license says "... is distributed *with* your Operating
System", and not "is part of". I don't know where you read the "part of"
bit? Anyway, we definitely do distribute non-free *with* our OS, it's in
debian/pool/non-free on all our mirrors alongside debian/pool/main, and
distributing it in the same directory hierarchy is definitity "with" in
my book.