<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Am 15.05.2017 um 11:47 schrieb Michal Fabík:<br>
<blockquote
cite="mid:CANJ=_rue_rT-nsoherQgaatu8R8CbD-OZH1p5SUn1MvNgYEoiw@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div dir="ltr">
<div>
<div> Shouldn't the tag be "man_made=adit_portal"<br>
</div>
</div>
</div>
</blockquote>
<div><br>
</div>
<div>Why not just man_made=adit_entrance? I'm not sure I'd
call a crudely dug opening (like the one in the picture on
the Wiki page) a portal. (Maybe it's just me.)<br
clear="all">
</div>
</div>
<br>
</div>
</div>
</blockquote>
An "adit" is by definition an <i>entrance </i>to a subterranean
gallery or drift. No need to enforce this by inventing new tags that
are just a tautology. man_made=adit is a well-established and
well-defined tag.<br>
<br>
There are people who already map the gallery indicated by the adit,
using layer=-1 or similar. I personally object this.<br>
<br>
Cheers,<br>
Carsten<br>
</body>
</html>