Objectively, that should have been nothing more than a yellow card. Even in the slowest of slow modes you can see no violent or malicious intent. Call it a foul, call it a yellow card, but it was never a red card offense.
But this is what I'm worried about and I don't see a discussion of this point here (but it's probably right in front me). Since the referee did not call a foul in real time, once he went to VAR it seems as though he may not have the discretion if he saw a foul -- which is fair to say there was -- to show a yellow card. It had to be, under that circumstance so it seems, a red.
If so, fukking hell.