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.