For reference, and, perhaps, discussion: 'Android' means lots of different things, and there's a lot of confusion about forks, Xiaomi, China and AOSP, as well as 'the next billion'. So this is how I try to think about this. First, there are actually (at least) six types of 'Android' in the market…