Our file protocol appens index.html to directory names. According to Netscape this
is wrong, and it results in some incompatibilities.

It is ok to do this for other protocols because it is done by the server.