> I'm holding out that Apple recognizes that most of the users of the 13 mini aren't serial upgraders and will continue refreshing the segment every 5 years or so

I loved my iPhone 13 mini for the 3-years it was my daily driver. But yeah, the mini line is probably dead.