Are Codex users even a drop in the bucket of overall use? I mean, it's a pretty specific way to interact with the bot.

Codex usage is clearly common enough to have entered the vernacular of folks here on HN.

But we aren't everyone, and it seems likely to me that there's a lot more people in the world burning tokens using ChatGPT than there are who even know what Codex is.