yup. And it was refreshing (albeit perhaps slightly naive) from Ocon to not complain over the radio, even at the team's behest.
To me, that was actually the only incident that I thought was a clear cut infringement by a driver. Sainz simply barged in to him after a clean overtake.
But credit to Ocon there.