Did anyone here ever do this?
Pedal stroke is different with the shorter crank. That's the whole idea.
In practice, adopting cranks 10mm or 20mm shorter means putting the saddle up 2 to 5mm. For a change in crank length of 5mm or 10mm very possible no one bothers.
Some of us have actually done this rather than spinning tales about theories.

The other one that theorizers always use is shorter cranks mandate lower gears. No, does not happen. The old gears work just fine. Maybe better, as the power stroke is better.