Apple discontinued the iPhone 13 mini, the last of its pint-sized smartphones, in September 2023 — and we're not going to see ...