I think your estimate of RegularUsers:Codex users of (100:1) is probably spot on. Hard to tell, although a Reddit thread exists with an apparent number of 4.2% of "Usage" (whatever usage refers to) is Programming related. [0].
reply[1] https://www.reddit.com/r/ChatGPTPro/comments/1nj5lj5/openai_...