But as per my original note, there's two of them:
This one (newer):
https://www.openstreetmap.org/node/5584467182/history

Older (but tagged as disused/redundant):
https://www.openstreetmap.org/node/3161777712/history

Or it was a shop within a shop before or something.