After looking at it for a bit, they very well may be real names for the hiking paths.  However a cursory search for an alternate source for these name was unsuccessful, so I'm not sure what should be done.  perhaps anonymous is willing to vouch the names (create an account!) and/or provide a source.