Just watched back gasly's onboard to listen to his radio at critical moments. He made the right calls each time and had what I think was the optimal strategy.. boxed on lap 1, 9 and 60. Not sure you can have done better.
Also interesting is that from his radio, I heard Gasly got dinged for track limits when Verstappen forced him off at T3, but then they didn't investigate Verstappen pushing him off the track
There was also contact of front left of Verstappen and Gasly rear right tyre coming into T3, similar to the contact that caused Russell a race ending puncture. Tsunoda got a penalty for it.
In both cases, it is instances of stewards penalizing the outcome rather than the incident. Hopeless