I got a battery replacement instead, and still use 13 pro, works like new.

The 13 is the last generation of the mini and I still have mine. Good to know I'm not missing anything. Battery capacity isn't even below 80% so I can't replace it under Applecare yet.

13 to 17 pro is a huge leap in performance, battery life, and camera features.