Re: Request for feedback about "Genode Component Public License"