> But shouldn't it just work with `//` as a `/`? It seems like this is the behavior elsewhere.

It works elsewhere because empty directory names are impossible so can be dropped. But if `//` is placed in the beginning, it gets a special meaning that totally changes the whole path so its plain replacement would give a totally wrong one.

Roughly speaking, "//Library/Video" is `/Video` on a computer named `Library`.