When I rename a file in Resources, why isn't it reflected in WebDAV?

If you rename a file in Resources, the change does not affect the name of the file as it is displayed in WebDAV. In Resources, changing the title only affects the display name within Resources, not the actual filename. Therefore, a title change in Resources will not be reflected in WebDAV.

This is document arsl.
Last modified on November 15, 2005.