No Penalty for Stroll

B5.6.1 When the green lights on the start gantry are illuminated, all F1 Cars on the grid able to do so should leave the grid and begin the formation lap with the pole position driver leading. Once all cars on track have passed the end of the Pit Lane on the formation lap, the pit exit will be opened and all cars starting from the Pit Lane able to do so must leave the Pit Lane and join the formation lap. When such cars are permitted to leave the Pit Lane they must do so in the order that was established under B5.3.2 unless another car is unduly delayed. Once all such cars have left the Pit Lane the pit exit will be closed. All such cars must enter the Pit Lane at the end of the formation lap. B5.6.2 When leaving the grid all drivers must respect the Pit Lane speed limit until they pass pole position.