Is the Steam Linux usage inferred from the hardware survey? Because in that case it's likely to underestimate the number of Linux users: in my case the...