How can I change the FILE name of a document with double extensions

I have imported a PDF document into DEVONthink’s Inbox. When I now Show the document in Finder it has a double extension “pdf.pdf”.

Here the document as shown in DEVONthink:

(Note that the title does not contain any “.pdf”.

And here the real FILE name in Finder:

How can I change the FILE name of this document (not only its name in DT3) so that it has only one extension, but is still the same document in DT3?

I can’t test this just now, but take a look at the solution in this thread.


Thanks for the link, @Blanc. I’m testing this out right now.