I stumpled upon an unmaintained list of used shop=* tags for Germany. Link: https://wiki.openstreetmap.org/wiki/Germany/Shops
Since there is https://taginfo.openstreetmap.org there is no need to have this page anymore, which is not updated since several years.
Anybody knows how to delete a page?
@redd maybe better update it and do not delete it because all the common Mapping Tools like iD or JOSM still only refer to the wiki, not to https://taginfo.openstreetmap.org/ ?