Лицензия GPL и логотипы (логически-юридически сложность)

[Delari]

Интересует ответ на вопрос, похоже, тонкий и скользкий:
в GPL v2 (пункт 6) написано, что производные продукты, основанные на программах лицензированных под GPL, также автоматически лицензируются GPL.

Получается, что логотипы дистрибутивов (особенно, тех, что не содержат проприетарных включений), автоматически переходят под GPL независимо от того, что говорят производители об авторских правах на них?
...А если в дистре есть несвободные проги, то нельзя весь дистр считать подходящим под GPL и логотипы сохраняют авторские права...?

[/dev/random]

Логотипы с программами не линкуются, и их исходные коды никто совмещать не пытался. Так что никакого производного продукта, логотипы - совершенно отдельные и самостоятельные произведения.

[rm_]

А если в дистре есть несвободные проги, то нельзя весь дистр считать подходящим под GPL

Дистрибутивы и так не считаются лицензированными как целое под GPL, поскольку во-первых в них практически всегда имеются не-GPL программы, а во-вторых, входящие в них программы связаны не настолько тесно, чтобы считаться производными продуктами друг от друга. См. http://www.gnu.org/licenses/gpl-faq.html#MereAggregation