I agree this is pretty unlikely.
This doesn’t seem that big a deal either. Assuming this gets deployed by the next halving, it 10% is only 0.15 BTC.
Maybe 150 minutes is a good enough number? There’s no circumstance I can (currently) think of where that can introduce a bug. While at the same time it takes over 10 retarget periods to reduce difficulty by 10%.