On: All public GitHub code was used in training Copilot

[arp242]

There isn't any of this here though: it just operates on the assumption that the GPL applies.