Post race commentary showed it was a little more complicated than that.
Yes, the red/yellow FLAG was shown at one point with a yellow LIGHT just beyond. And then there was the all-clear green light as they went up the hill, and THEN yellow lights again (for whatever reason) as they went over the crest as Vettel did his pass...they said Perez went into the pits anyway, but it didn’t look like that was even possible from his track position. Hmmm.
Man, if this ends up at the green table and the result gets nixed I just might be done with F1 for a while.