This is one of those cases where the StreetComplete logic lacks the nuance to understand that a path crossing a "road" can be quite a fluid concept. We should flesh out the fidelity of that that paved area actually is, but probably no need to get hung up on any crossing tagging as you note.