Hola Mike, yo creo que esos caminos no se llaman Sendero Campoder.... Por ese camino, que quizás tenga nombre propio, pasará el GR 257 pero eso no quiere decir que ese camino se llame así.
Un saludo.
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/147262051
            