Question on bike trails

https://www.openstreetmap.org/user/Phil W/diary/3718