<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2018-06-25 21:29 GMT+02:00 Jmapb <span dir="ltr"><<a href="mailto:jmapb@gmx.com" target="_blank">jmapb@gmx.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    Pardon the self-reply, but actually, this might be a case where a
    shop=shoe_repair could also be tagged craft=key_cutter. Don't see
    why not. jmb<br>
  </div></blockquote></div></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">To me, "key_cutter" would not seem a "craft", I would see it as a service a shop can offer (e.g. copies_keys=yes), but if I were to use the tag craft in this context, I would think about craft=locksmith (i.e. a specialist able to do far more work with locks than just copying a key). FWIW, actual usage confirms the tag craft=key_cutter ;-)<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Cheers,</div><div class="gmail_extra">Martin<br></div></div>