For clarity, the “5mm” I listed was a pure guestimate. I have no idea what the functional difference in pedal stack actually is. Could be less, could be more.
But yes, if dropping the entire rider happens, it is usually a positive change WRT aero drag, so could be very worthwhile for those seeking the finest improvements. 