That's... quite misleading? The MK4 with input shaping is limited by extrusion speed, not the motion system.
The printers are both pretty identical in performance today. And while CoreXY has significantly more headroom in case you'd like to upgrade the current bottlenecks, that's not an option with the Bambu printers anyway.
