So following your own argument, even if Copilot is allowed, using it still risks you falling under GPL