I kind of wonder or suspect that user agents are being misidentified. I have heard that sometimes Android gets identified as Linux. (which I guess is actually not wrong, but you get the point...)