It’s likely that they had a different issue, or managed to get it resolved on their own before the file manager could be pinpointed as a potential source of the problem; if you look up “duplicated”, you can find posts that reference it, such as this:
Glad to hear the desktop FTP client experience is being much better!