Removed the redirection of index.html/ -> index.html. The reason is that if that is done, extension based cgi-scripts with path-info "/" won't work correctly. It's still a better solution that Netscape and Apache (just return the accessed file with the slash still appended resulting in broken links). Rev: server/modules/filesystems/filesystem.pike:1.45