on disabling drivers that use non-Free firmware

[Richard M Stallman]

    > In general we want not to distribute programs that require non-free
    > software to work.

    We wouldn't be doing that.  We'd be distributing programs that don't
    work at all, unless 'notifying the user of incompatibility with Free
    Software' is regarded as a feature.  There wouldn't be any traces of any
    actual dependency on non-Free Software there.

In one sense, that is true.

In another sense, all the REST of the code in that driver is code that
will only work with a certain non-free program (plus a small change in
the line that calls the loader).

Both interpretations seem valid.  So the question is, what serves the
cause better?  To include that program, or to delete it?

I think (or thought) that deleting it is better.  But I am not
absolutely certain.