I did some more research and now I have two conflicting views. The documentation on this site says that any source code submitted is free to be used by others in their applications. So what happens if the submitted code is under a GPL license that does not permit this? Which one takes precedence?