Nome de arquivo duplicado alterado ao ser carregado novamente com nome diferente

Alguém já viu isso? Quando estamos fazendo o upload de alguns arquivos, os nomes são alterados? Aqui está um exemplo.
Nome do arquivo: i2c_master_v1_0.vhd


Ao fazer o upload, ele aparece diferente.

Percebemos isso em alguns arquivos recentemente.
Podemos renomeá-los manualmente, mas quando o usuário faz o upload, o nome não corresponde à alteração. Aqui, renomeamos manualmente para que ele seja exibido corretamente, no entanto, o download não corresponde.

Isso ocorre quando o arquivo foi carregado anteriormente com um nome diferente.