Yeah I reckon youre right. The only reason I've not removed the name is that theres an identical formation behind Mitford crescent and that has been bothered to be named etc.
The history of the changeset is interesting in that it was by a redacted due to an editor who used google as their main source. Weirdly enough the only source that listed the footpath as having a name is google. The calle Felipe name came from an editor who seemed to have been reparing a bunch of names from the initial changeset, I gather because there were two other ways that had this identical name this was simply added as a mistake!