Danny is correct here. I was aware of it at the time (having been on Android 2012-2016), but won't leak any further details. I recommend taking the word of a highly credible person who has first hand knowledge over a thinly sourced article in the tech press.