I think that's right. Basically, if a case change is not relevant because of the filesystem, then the base diff code should know enough not to include the changed file in the diff list. If a delta record exists for the file, then the case difference should be relevant.