This comes up over and over but GPL code is owned by the employer, not paid employees who work on it. If it never leaves GS' computers (or those of its employe

This comes up over and over but GPL code is owned by the employer, not paid employees who work on it. If it never leaves GS' computers (or those of its employees), that's not considered 'distribution', and changes don't need to be released. It's all spelled out in the GPL.