While it's correct that Android is Linux, I feel that it shouldn't count and it's incongruent with Linux as a whole. With what Google has done, and plans to do, I feel that it's disingenuous to count Android when talking about Linux market share.