[O] bug#16751: 24.3.50; Export during Org export to HTML

[Glenn Morris]

Eli Zaretskii wrote:

>>     file:path
>> 
>> is a valid file link type in Org. Therefore,
[...]
> But that's exactly the problem: producing a file name from a file://
> URL requires to remove the "file://" prefix.  It is invalid to leave
> the 2 extra slashes and remove only "file:".  Why does Org do that?

Presumably because Org decided to use "file:" rather than standard
"file://" URI, hence leading to exactly this confusion.