<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
<div style="16px" text-align="left">6 Dec 2019, 12:04 by frederik@remote.org:<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div style="16px" text-align="left">I have reverted a recent edit in which the "name" tag was removed from<br></div><div style="16px" text-align="left">some "international" objects by a user (on the grounds of "if I cannot<br></div><div style="16px" text-align="left">have an Esperanto name then nobody shall have a name for that object!"),<br></div><div style="16px" text-align="left">however in principle, if the community came to the conclusion that this<br></div><div style="16px" text-align="left">was a good idea, I would not be opposed.<br></div></blockquote><div style="16px" text-align="left">For things like Atlantic Ocean or Pacific Ocean<br></div><div style="16px" text-align="left">I would be OK with not adding name tag at all.<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Though idea of mapping ocean seems suspect to me<br></div><div style="16px" text-align="left">AFAIK there are many way to divide oceans and there is no consensus<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">See https://en.wikipedia.org/wiki/Borders_of_the_oceans<br></div>  </body>
</html>