may we consider the other 3% (3.23) as linux as well ? if so linux total market share is about 10% (including chromeos since you can install linux apps on them as well)