Oh, by the way, https://www.openstreetmap.org/way/168320202 is actually signed as a shared cycleway from the NW end (but it's the only sign along here). I biked by here today and noticed it and thought to myself "hold on, has this always been here?" So that would actually probably solve your example if we retag this. (Of course, the whole routing issue is broader than that.)