@Denny You’ve inspired me to go back to using the mini as my main iPad. Or at least trying that out for a while. Currently I’m using a late-model iPad Air with Magic Folio keyboard case.
I bought the mini on a whim late last year. A ridiculous extravagance, and I keep thinking I should sell/trade in/donate one of the devices … but which one?
(Late last year I was in a job I didn’t like, but which paid well. I am not the first person to turn to retail therapy as self-medication in that situation. At least it wasn’t a sports car.)