[Fedora-legal-list] mininet license