They're different things. the parent comment is describing a scenario in which straight (including pedestrians have green) -> straight gets red -> left gets g

They're different things. the parent comment is describing a scenario in which straight (including pedestrians have green) -> straight gets red -> left gets green. in NYC's LPIs, this is all directions have red -> pedestrians get green -> straight + left get green with pedestrians