<div dir="ltr"><div dir="ltr">On Sat, Dec 12, 2020 at 5:04 PM Martin Koppenhoefer <<a href="mailto:dieterdreist@gmail.com">dieterdreist@gmail.com</a>> wrote:<br></div><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"><br>
<br>
sent from a phone<br>
<br>
> On 12. Dec 2020, at 23:43, Paul Johnson <<a href="mailto:baloo@ursamundi.org" target="_blank">baloo@ursamundi.org</a>> wrote:<br>
> <br>
> So what?  How are we going to improve if we're not willing to correct choices that are objectively bad in retrospect?  Especially when fixing the problem makes lane tagging more consistent for all lane types and easier for new people to understand and map in the long term<br>
<br>
<br>
use a different key for the different definition. Promote it and see if others join you.<br></blockquote><div><br></div><div>This complicates things for new mappers, who are invariably going to come to the same conclusion of "what do you mean "lanes" doesn't literally mean lanes?" </div></div></div>