But presumably, under the GPL, someone who obtained the source code, perhaps by paying for it, can freely publish that source code, and non-disclosure agreements are void.