I don't think the example is about optimizing for developer satisfaction. 1) He changed a number. 2) There was ( apparently ) a very simple test for the effec

I don't think the example is about optimizing for developer satisfaction. 1) He changed a number. 2) There was ( apparently ) a very simple test for the effect of the change being correct. 3) This was high-priority.