-
easier to push a taller gear but a tad harder to spin
Yeah, that's just maths. It's like the difference between a 52T ring and a 53T*. Crank length is part of your overall gearing, so of course you notice a change in crank length if you don't also change some other part of the ratio chain to compensate.
When you eliminate the change in gearing, nobody can detect a 2.5mm change in crank length in blind tests. People can't even tell if their left and right crank lengths differ by 2.5mm.
* (52/53)×(172.5/170)=1.00 😀
I remember always having 170s and then noticing a slight difference when a had a pair of 175s; a hair easier to push a taller gear but a tad harder to spin. I liked the extra leverage but not the lower... redline? Had 172.5s ever since, which as you say is hard to notice the difference, but it's obviously a good compromise between what I liked about the sizes either side.
Then again, I'd probably be among the first to notice, given I despise cassettes without a 16t, and am not keen on ones without an 18t... And a jump between 11t and 13t makes me shake my head in wonder. Been wanting to mod some Ergos to friction in order to shift a CVT forever.