GPL progs are Debian 'non-free'

[I like the way this guy thinks.  File under debian-legal humor. Of
course, it smartly appeared on another Debian list. /a]

http://lists.debian.org/debian-devel/2005/04/msg00625.html

    * To: [email protected]
    * Subject: All GPL'ed programs have to go to non-free
    * From: Adrian Bunk <[email protected]>
    * Date: Thu, 14 Apr 2005 23:47:26 +0200
    * User-agent: Mutt/1.5.6+20040907i

The following might sound absurd, but it seems to follow directly from
Debian's current interpretation of the DFSG:

  All GPL'ed programs have to go to non-free.


Proof:

You are only allowed to distribute verbatim copies of the GPL license
text.

In Debian, documents are considered software and are therefore subject
to the DFSG.

Debian does not plan any exceptions from the DFSG for RFCs, license
texts or any other documentation.

Debian will therefore have to move all GPL license texts to non-free.

Section 1 of the GPL requires Debian to give every recipient of a GPL'ed
work a copy of the GPL.

Therefore, all GPL'd programs will have to go to non-free.

Q.E.D.


Is this a correct interpretation of what will happen after the release
of sarge or is there any mistake in my proof?


cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed