After a bit of searching, it seems that people are pretty confident that SHA-1 is sufficiently unique. So we could just ignore this extreme bad luck situation, and share, in pristine, storage for identical files. Salvatore