[gnatolf]

Which, to be fair, overall probably still saved quite some time. The compile times alone would've meant they wasted so much more time by repeated earlier checks.

Whether a looming deadline changed the perception about that, we don't know ;-P