Copilot was only trained on public code right? Because that would be an absolute PR disaster if some proprietary code was leaked that way.