Bryan J. Smith wrote:
Read your GPL more closely. GPL requires the software be functional without additional requirements. You do not need a trademark for it to be functional. The GPL does not prohibit bundling of other software that has restrictions, as long as the software does not require it to function.
Err, I believe the problem is the other way. The trademark prohibits the use of the name in the source.
Mike