The Nottingham and Nottinghamshire community uses shop=discount for other Bargain Buys including https://www.openstreetmap.org/node/3186606844 I'll not change but will leave to the locals to review and then change all or none to ensure consistency