The question is:
Quality (24 (effective) pixels more, no crop) VS A few seconds less clicking in post
I can understand, that any more steps in post drive you nuts - at least when you're in a pressure.
But I'm producing my own shorts (or other's as a camera man) without any time pressure in post. So, from this point of view, it would highly demand 1888 as for the higher resolution and no further crop.
Anyway, both options do not have much impact. But, for me it's only one thing, that drives me nuts:
Reviewing this decision from 10 years in the future, I will think: "I should have kept the reolution!" Because that is what lasts!