It seems to me that that might seriously deter third-party Android distributors—AFAIK most do not ship stock Google apps for all the basic utilities, they only ship the auxiliary ones like Gmail or Docs.
I remember making frequent jokes comparing various lengthy events or periods to the BER construction, asking which one was more likely to be completed first. It was hilarious; crowned by the fact that the airport opened during COVID peak.