I don't recall that comment, you may be right. My feeling at the time was Oscar went on a few non push laps as 10+ laps bottled up close behind the two cars was having an effect. Maybe some small deg to be fair, I was particularly addressing the "tyres are dead" comment, commonly used to say Oscar kills his tyres etc. The lap speeds immediately prior to his pitstop 33.5, 33.3, 33.5, 33.5, 33.6, 33.6, 33.4. It's conjecture as to whether the tyres could be brought back by easing the pace for a few laps because the pitstops got triggered. We don't know but had the impetus from Russell and co not triggered the stops, would the mediums have proved quite durable and come back to life by easing back for 3-4 laps? Antonelli's run hints that the answer could be YES!
I think we were all pretty disappointed with the way the race panned out, more than the result. It was a case of, for almost everyone other than the winner, "the race is dead"! After contemplating it all I changed my mind and came to think there wasn't a lot to be done, but definitely don't follow Max into pit lane.