I guess someone could add some code to force the difficulty for block #156042 to some low value to get the network moving again. It would be a hard fork - anyone on the old client will reject the fudged block #156042 and all blocks after that - so you may as well go all the way, and add KGW or some other form of per-block adjustment while you're at it.