I figure it's time to upgrade from my iPad Mini 4. Other than size and $100 price difference, are the current Mini 5 and Air 3 about equal? Is there a major preference from users here? I'm leaning towards the Mini 5 just because I'm used to the form factor, but just wanted to see if I'd be missing on any performance or other feature by not going to the Air 3. Thanks!