Not really. One entity embedding the software into another will only account for at most a handful of downloads.
Unless Codex is vibe coded and it downloads it directly on every installation…
Didn't people find it bundled with a bunch of other things in a single runtime? Downloaded as part of a whole runtime would suggest it wasn't downloaded directly from the source.