It would’ve been a penalty I obviously would’ve very much liked but it would’ve been realllllly harsh.
That being said though, in this case it should’ve been used more like NFL replays in the sense that the ref called it a pen on the field and then the VAR did not offer enough to overturn that call imho.