Ben Rudiak-Gould wrote:
> I don't think this is fatal. The important part of File identity is that
> two File values which compare equal necessarily denote the same file, not
> the converse. [...]
Huh? I thought it was the other way round. What is this your identity good
for?
Cheers,
S.