Green flag was absolutely NOT shown when Bianchi went off. As I've corrected in several threads here already: the green flag that was visible in the feed and pictures is on the marshal's post AFTER the incident, indicating a RETURN TO NORMAL from the waved double yellows.