If copyright infringement is theft, then stealing GPL code is theft. If copyright infringement isn't theft (our goal), then it doesn't matter. Hope that makes

If copyright infringement is theft, then stealing GPL code is theft. If copyright infringement isn't theft (our goal), then it doesn't matter. Hope that makes some sense.