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

[Eli Zaretskii]

> From: Glenn Morris <address@hidden>
> Cc: Nicolas Goaziou <address@hidden>,  address@hidden,  address@hidden,  
> address@hidden
> Date: Tue, 25 Feb 2014 13:41:14 -0500
> 
> 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.

That cannot be right, though, can it?  If Org wants to support
file:/foo, fine, but then it should try the standard file:///foo
before falling back on non-standard forms, I think.  Am I missing
something?