Должен ли водитель пропустить пешеходов за перекрёстком и почему?

Регулируемый четырёхсторонний перекрёсток. Водитель автомобиля начал проезжать его, как и полагается, на зелёный свет. Проезд осуществлялся в прямом направлении. Но перекрёсток большой. Пока автомобиль проезжал перекрёсток, зелёный свет сменился на жёлтый, затем на красный. Стоп-линии и таблички "Стоп" на пути движения автомобиля отсутствуют. Водитель, не останавливаясь, закончил проезд перекрёстка, руководствуясь пунктом 13.7 ПДД РФ (можно закончить движение на перекрёстке на любой сигнал светофора, если на выходе с перекрёстка нет стоп-линии). Итак, перекрёсток пройден, но водителю предстоит проехать ещё пешеходный переход, расположенный сразу за перекрёстком. Как я сказал, зелёный свет для автомобилей во время проезда автомобилем перекрёстка успел смениться на красный. Соответственно, для пешеходов красный сменился зелёным, и они начали переходить дорогу. Должен ли указанный водитель остановиться и пропустить пешеходов? Перечитал несколько раз ПДД, но пока не нашёл пункта, обязывающего автомобилиста пропустить пешеходов в такой ситуации. Пункт 13.1 не годится, потому что там речь идёт о повороте. А у нас водитель едет прямо. Пункт 14.1 тоже не годится, потому что пешеходный переход в пункте 14.1 нерегулируемый.