Good point.
Personally, I care much less about the efficiency of veCRV going forward.
I’d say the main value this proposal provides is reducing the risk of the Aave protocol taking on a meaningful amount of bad debt, which would hurt Aave’s brand and treasury holdings much more than the cost of buying these tokens now.