Имя дублирующегося файла изменилось при повторной загрузке с другим именем

Кто-нибудь сталкивался с этим? При загрузке некоторых файлов их имена изменяются? Вот пример.
Имя файла: i2c_master_v1_0.vhd


После загрузки оно выглядит иначе.

Недавно заметили это на нескольких файлах.
Мы можем переименовать их вручную, но когда пользователь загружает их снова, имя не соответствует изменённому. Здесь мы вручную изменили имя, чтобы оно отображалось корректно, однако при скачивании имя не совпадает.

Это происходит, когда файл был ранее загружен под другим именем.