Re: question about RedHat/Fedora and the GPL