How big is Linux gaming? Some estimates