You are right, Doncho! As someone who carries two iPads around now, I believe the iPad Mini would benefit more from being just a dedicated device than a do-it-all bigger iPad Air/Pro.
If I am not wrong the iPad Mini 5 is smaller than the current 8.3” Mini 6/7. I am not sure you might feel carrying it around but do try it out in store once. For all you know, you might want it anyways! 🤩