[Fedora-legal-list] A non-vanilla GPLv3+ license question