<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2018-06-24 20:08 GMT+02:00 Selfish Seahorse <span dir="ltr"><<a href="mailto:selfishseahorse@gmail.com" target="_blank">selfishseahorse@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi<br>
<br>
No, a discount shop isn't the same as a a variety shop.<br></blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">+1, it could be seen as a variant of small supermarket or convenience store. I have also asked myself in the past if we make these a new kind of shop or add a discounter=yes flag or something similar.</div><div class="gmail_extra">Currently they are tagged as supermarkets.</div><div class="gmail_extra"><br></div><div class="gmail_extra">It is usually clear for the "natives" which brand names relate to discount stores, but the distinction might be interesting for tourists. I believe there is some difference compared to supermarkets, which could be reflected somehow in the tagging, but maybe it is so subtle that a main tag would be overkill? A flag makes it easy for dataconsumers that are unaware or less interested in this distinction, to ignore it, without delivering completely wrong results.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Cheers,</div><div class="gmail_extra">Martin<br></div></div>