Replacing a file does not delete the old file

Hi!

Using the “Replace the file, use new file name and update all links” option does not delete the old file, it still remains on the server (tested on both a local and remote WordPress). That’s not the expected behavior, is it? We noticed this because Google still has old PDF files in its index that we thought would have been deleted when the plugin replaced them.

Thanks