I marked the building as demolished in https://www.openstreetmap.org/changeset/154208402, 3 months ago, but neglected to mark the shop as demolished rather than disused. Fixed that now in https://www.openstreetmap.org/changeset/158118698, thanks