“(For the record: “Distracted walking” kills six pedestrians a year in the US. Cars kill about 4,800 pedestrians.) “