Android has an 87% market share. I don’t really care what the minority players are up to.