Dear all, We have currently two tags with a closely related, if not identical, meaning: shop=mall (26 643 instances) and shop=shopping_centre (182 instances). Is there a difference between these two tags, or should we deprecate shop=shopping_centre in favour of shop=mall? -- Matthijs