Re: bug in use index.html

[Hrvoje Niksic]

The whole matter of conversion of "/" to "/index.html" on the file
system is a hack.  But I really don't know how to better represent
empty trailing file name on the file system.