Android being the "biggest mobile OS" is like QNX being the biggest embedded OS. If you have 80% market share but 90% of your users don't care about being a phonetechnoweeniegeek, then it's irrelevant.

The stat we should be tracking is: out of people who actually use their phones (a horrible name for these things now anyway) as computers, which percentage of those people are using which device? We constantly see stats of "Android has 80% market share! But--now keep this between just you and me--iOS makes up 80% of mobile web traffic."