Do you have a source for the claim that they use the A15 in the iPad mini? It stood out to me that they left the details of the SoC out of the announcement.