Correct decision so long as the stewards can remain consistent with that. I'd liek to see that they do when two guys are side by side going round a corner and the one on the inside takes 'the racing line' to the outisde of the exit of the corner, which pushes the other driver outside the white lines aka Vettel v Button at Oz last year but the pass is still made. So far it seems that if driver A has pushed driver B wide, or caused him to go off the track for avoiding action on on overtake then they will let it go. Seems fair IMO and at most tracks where there is grass or gravel next to the track this won;t happen much. It's onyl an issue where they have tarmaced everywhere. Why not bring back grass to the outside of the track, drivers would think twice then about going off circuit to overtake!
The driver on the outside wouldn't have gained an advantage by going off the circuit so surely the question wouldn't arise, would it?
Vettel overtook Button around the outside and off the track so gained an advantage by going off the track. Question has arisen.
Seb was allowed as the Stewards considered it a run off to avoid a crash, when Seb exploited it they changed it back. Almost like Spa 2009 when Kimi did the same but next year it wasn't.
Which is why the discretion element is correct as otherwise Seb would have been penalised if the zero-tolerance policy was used. He had no choice but to go off the track to avoid the accident as he was pushed there. Argument clearly is that if he hadn't been pushed out wide he still would have overtaken so no real advantage gained by being off the track, its just that he had no option but to go there.