A reasonable position.
But you can only keep it if the pedestrian lights work as the other lights cycle, unless you have buttons designated for that crossing.
And, as it happens, the corner of 15th and Crystal City Drive in Crystal City lacks that minor amenity, and has lights that don't cycle with the other traffic lights.
So I take my cue from other pedestrians: ignore them.
Sure, the state of Virginia wasted its money. But I don't live here, so that's not my problem.