FileIndex is an internal module used by FileSystem to maintain an index of all files and directories.
This module is only used by FileSystem, and should not be called directly.
Notify the index that an entry has been renamed. This updates all affected entries in the index.