No, I mean 4% of the overall Linux desktop share does some amount of gaming. This is based on a survey, and I can’t for the life of me remember who does it. It will show up again, with updated totals, on one of these communities eventually.