Nom de fichier dupliqué renommé lors du téléchargement à nouveau avec un nom différent

Quelqu’un a-t-il déjà vu cela ? Lorsque nous téléchargeons certains fichiers, leurs noms sont modifiés ? Voici un exemple.
Nom du fichier : i2c_master_v1_0.vhd


Lorsqu’il est téléchargé, il apparaît différemment.

Nous avons remarqué cela sur plusieurs fichiers récemment.
Nous pouvons les renommer manuellement, mais lorsque l’utilisateur tente de les télécharger, le nom ne correspond pas au changement. Ici, nous avons manuellement modifié le nom pour qu’il s’affiche correctement, mais le téléchargement ne correspond pas.

Cela se produit lorsque le fichier a été précédemment téléchargé sous un autre nom.