How does the dual licensing AGPLv3 plus commercial work? If one creates a derivative are the contributions also dual licensed automatically, or how is it done?