The improved Mini is likely the way I'll go, unless iPadOS gets major improvements for the Pro line. I really doubt we'll get an actual Mini Pro.