<div dir="ltr"><div>Why is the tag for an amphitheatre <br></div><div>theatre:type=amphi    <br></div><div>rather than:   <br></div><div>theatre:type=amphitheatre    <br></div><div><br></div><div>In most other cases the tag values are not abbreviated.   <br></div><div>   <br></div><div>See:   <br></div><div><a href="https://wiki.openstreetmap.org/wiki/Tag:theatre:type%3Damphi">https://wiki.openstreetmap.org/wiki/Tag:theatre:type%3Damphi</a>   <br></div><div><br></div><div>Mike<br></div></div>