If we are going by the numbers, then casual gaming on mobile phones and tablets is even higher.
> Mobile gaming generated USD 140.53 billion in 2025, accounting for 48.50% of the video game market share. Console revenue followed at USD 56.2 billion, slightly ahead of PC’s USD 46.3 billion. Cloud-gaming services are the fastest-rising category; the segment’s video game market size is projected to reach USD 24.68 billion by 2029 on a 26.25% CAGR. Wider 5G rollout and aggressive platform bundling are converting non-traditional gamers who do not own dedicated hardware. Source: https://www.mordorintelligence.com/industry-reports/video-ga...
https://www.mordorintelligence.com/industry-reports/video-ga...
while I agree there probably are more users on mobile (which notably is not a console), market size is not the same thing as number of people.
Which is kind of irrelevant in the context of ditching Windows for Linux in gaming, in numbers relevant for game studios to care about.