I eventually upgraded my 13 mini and I still miss it. Still irritates me that I can’t swipe down from the top of the screen with a one handed gesture.