Filename containing Filetype

Many people have summaries/Documents where they have a .pdf and a .zip with the same filename. (Especially applicable to all summaries written in latex or goodnotes) There are two possibilities to be able to differentiate them once they are uploaded and all of them aren't really a good solution: 1: Set different display name. Possible, but will most likely result in having ZIP in the filenames. which is redundant as soon as you download the files as then they have file endings.
2: Set display name to file name, including file type. results in clear denotion on the website, but upon download you have double filenames.

Suggestion: if the Display name contains a file type strip it on download.To make sure that this only applies to file names we can also ensure that the file type of the display name is the same as the file type of the original file.