I was looking at South Africa's biggest annual developer survey today, and lo and behold some are using it for coding work. I would assume it's people who pay

I was looking at South Africa's biggest annual developer survey today, and lo and behold some are using it for coding work. I would assume it's people who pay for Twitter pro or whatever it's called getting Grok as part of the bundle and not wanting to sign up for another subscription.