<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
<div><br></div><div><br></div><div><br></div><div>Apr 17, 2021, 13:01 by marc_marc@mailo.com:<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div>Hello,<br></div><div><br></div><div>On Sat, 17 Apr 2021 at 07:02, Mateusz Konieczny<br></div><div><br></div><div>first of all : I'm 100% in favor or removing all<br></div><div>history~Retrieved (case unsensitive)<br></div><div>thanks a lot for your proposed mecanical edit.<br></div></blockquote><div>:)<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><blockquote><blockquote><div>And merges of such values<br></div><div>history=Retrieved from v7;Retrieved from v3<br></div></blockquote></blockquote><div><br></div><div>i didn't understand. what's the objet 'll have ?<br></div><div>why not deleted those too ?<br></div></blockquote><div>merges of such values are also listed for elimination<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><blockquote><blockquote><div>Making it a discardable key is not viable as some values can have some potential use<br></div><div>(history=monument and similar mistaggings of historic), mass removing them silently is not OK.<br></div></blockquote></blockquote><div><br></div><div>but if you remove all ~Retrieved values, this will make the situation worse:<br></div><div>actually, looking at the key, it is clear that history=monument<br></div><div>would be a tagging mistake.<br></div><div>if you remove all the history~Retrived while keeping the others,<br></div><div>it doesn't become obvious that history=monument is still an error.<br></div></blockquote><div>Why worse? It will be easier to notice history=monument and similar<br></div><div>now hidden among others on taginfo<br></div><div>(this effect is minor, applies only when looking at list of values of<br></div><div>history key - but seems to be a positive effect, not negative.<br></div><div><br></div>  </body>
</html>