https://my.mixtape.moe/rmjdkw.mp4
I don't think that is ever a penalty. If Vettel was alongside at any stage, even more so if alongside into the corner that is one thing. But Vettel wasn't remotely close to the overtake there.
I don't think that would ever be a penalty before, you skip a corner when actually being passed then yeah, give it back. But Vettel was honestly miles back, he wasn't trying to pass him, he'd tucked in. Verstappen made a mistake and cut the corner, the time gap was a little dodgy but most of the time I think at most they'd be told to let them gain back to the same gap as before.
I agree with DM
Hope RB appeals and it gets overturned