Hello! https://www.openstreetmap.org/node/13009971505/history has shop = cobbler that was added in this edit
shop=cobbler? Is it intentionally used instead of shop=shoe_repair ( https://wiki.openstreetmap.org/wiki/Tag:shop=shoe_repair ) or shop=shoes (there is also craft=shoemaker...