<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div style="16px" text-align="left"><br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Mar 20, 2019, 2:59 PM by richlv@nakts.net:<br></div><blockquote class="tutanota_quote" style="border-left: 1px solid #93A3B8; padding-left: 10px; margin-left: 5px;"><div style="16px" text-align="left">On 20.03.19 12:14, Mateusz Konieczny wrote:<br></div><blockquote><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Mar 20, 2019, 9:21 AM by <a rel="noopener noreferrer" target="_blank" href="mailto:frederik@remote.org">frederik@remote.org</a>:<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left"> Mateusz,<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left"> as far as I am concerned, *all* is_in tags are unnecessary at best and<br></div><div style="16px" text-align="left"> potentially misleading, and could be removed. I'd prefer adding these<br></div><div style="16px" text-align="left"> tags to the auto remove list in editors though, rather than running<br></div><div style="16px" text-align="left"> mechanical edits to remove them.<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">Unfortunately there are some people that see value in keeping some<br></div><div style="16px" text-align="left">of them, that is also reason why this edit is proposed only for<br></div><div style="16px" text-align="left">one that is utterly broken.<br></div></blockquote><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">What use do they see?<br></div></blockquote><div style="16px" text-align="left">Cached geocoding results.<br></div><div style="16px" text-align="left"><br></div><div style="16px" text-align="left">IMHO not a good reason to keep it.<br></div><div style="16px" text-align="left"><br></div> </body>
</html>