Add highway=pedestrian area label

See #355. The styling is copied from highway=pedestrian line label, adjusted for polygons. Note that there are practically no highway=pedestrian nodes (77 instances). JOSM's stylesheet/validator rejects those.

(Also cleans up a confusing comment that I wrote previously.)