Gotcha, thanks for investigating! Funny we're talking about this because over on the forum there is a fiery debate and reconciliation regarding what it means to be a path, what counts as a path, and all manner of related topics. Perhaps you were aware already.
Anyway, in this case specifically (and in general) I'm open to tagging methods other than my preferred method. My vote for this segment is what I mentioned earlier: highway=path, informal=yes, visibility=poor or no. Let me know what you think, and thanks for your contributions!