Sometimes the penalties are insane, considering that the other driver had to retire...

Damn. Stroll hitting Gasly was very unnecessary.