Re: ILIAS mix of GNU GPL with own terms