[ThomasB]

Thank you very much, Mike! 

I think the new option will make sense only if the pdf files match exactly (name and size or hash?). I guess you can check that at import.

Thomas