<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Fr., 18. Sept. 2020 um 09:41 Uhr schrieb Peter Elderson <<a href="mailto:pelderson@gmail.com">pelderson@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"></div><div class="gmail_quote">Changing to crossing=marked then specifying that it's a zebra just makes it more work, and harder to interpret. </div></div></blockquote></div><div><br></div><div><br></div><div>+1, if you don't know the implications of crossing=zebra, then you don't know them either for crossing=marked, marked=zebra. The latter is just a more complicated way of telling the same, and it mostly leads to less information because the marked=zebra (or whatever similar tag to tell the markings are zebra marking) is often missing.</div><div><br></div><div>Cheers</div><div>Martin<br></div></div>