I have been using the mini since its first generation and currently own the mini 4. It’s been getting slower and bumpy lately with iOS 11 so been thinking more about moving to the pro 10.5. While I love the form factor of the mini at this point there are no signs for a next generation so debating, especially if I get a nice deal next week for Black Friday. Thoughts?