The only time I have seen VAR strictly penalise this was the FIFA tournaments over the summer. Otherwise, it's not generally picked up on.
Which is strange, as certainly in this instance it's is a clear and obvious error on the part of the match officials to not recognise and punish the infringement.
That is because wrong expectations were set by bad refereeing. If this is over-zealous why not the following:I don't necessarily disagree but let's remember the reaction on forums and elsewhere when penalties were being made to be retaken for very slight offences by the goalkeeper during the women's world cup over the summer. I would say the vast majority of people were opposed to the approach and considered it over-zealous.
For whatever reason, it has got to the point where people don't generally expect to see penalties retaken for slight encroachment, just as they don't expect a goalkeeper to be penalised if they hold on to the ball for 7 seconds or a free-kick is taken from slightly the wrong position.
You can debate whether this is good or bad but it seems to me that most people prefer some tolerance to be applied to penalties rather than virtually every one that is saved having to be retaken.