@opencage I wouldn't call that a border dispute, just a difference of opinion on what would be the preferred solution if there were negotiations on the topic. But there are no such negotiations and everybody seems to be perfectly happy with the current state of affairs.

PS: and yes it isn't mapped correctly on #OpenStreetMap as there is no tagging for "not actually a border".