Re: [Fedora-legal-list] Proper description of mysql's documentation license?