Didn't seem right to me based on https://wiki.openstreetmap.org/wiki/Tag:highway%3Dpedestrian 
I'll edit it when I'm on desktop to include the details of the steps etc.

Attached photo(s):
https://westnordost.de/p/250794.jpg