[sseth]

I think Android is the most important version - about 95% of mobiles are covered. So it is good they are doing that first. iOS is about 3-4% and KaiOS is just 1%, so I think if it takes some more time that's not a huge impact.