This is a great example, thank you. Because highway=path is so vague, you need a lot of explicit tags to make it work the way you want. highway=path + (access=no) + bicycle=designated is equivalent to highway=cycleway, and yet everyone would call this tagging inferior, because you should call it cycle way, if it’s a cycle way. The original proposal for highway=path even wanted to retire highway=footway, highway=bridleway, and highway=cycleway, but it was refused by 6:26 votes. And that’s pretty much the case I’m making for zebra crossings.