Android phone brands sigh with relief as Apple just can't make enough iPhone 13 models.