area:highway tags have already been added in the following changeset.
https://www.openstreetmap.org/changeset/123008084#map=16/40.5823/-74.1660&layers=N

highway=pedestrian tag has been removed in this changeset now as well.
https://www.openstreetmap.org/changeset/129938000#map=19/40.58468/-74.16345&layers=N