They should have left Pepper as Extremis-enabled for Infinity War/Endgame