https://www.openstreetmap.org/way/235732776/history has shop = pro_shop

shop=pro_shop ? Is it the same as shop=headshop - see https://wiki.openstreetmap.org/wiki/Tag:shop%3Dheadshop ? Or the same as https://wiki.openstreetmap.org/wiki/Tag:shop%3Dsmartshop ? Or is it a separate shop category that should be documented as valid?