> These files should be duplicated ; that is, you should 
> see "documents/file-2.html" files, bu the links should 
all 
> work. Aren't all links working well ?
Err, no, mistake here. These files should NOT be 
duplicated, and all links should get the same case 
sensitivity. This is obviously not the case, and hence it 
appears to be a bug.

(This has been fixed for the upcoming 3.33-RC release)