Nombre de archivo duplicado cambiado al cargarlo de nuevo con un nombre diferente

¿Alguien ha visto esto? Cuando cargamos algunos archivos, ¿se cambian los nombres? Aquí hay un ejemplo.
Nombre del archivo: i2c_master_v1_0.vhd


Sin embargo, al cargarlo, aparece diferente.

Hemos notado esto en varios archivos recientemente.
Podemos cambiarles el nombre manualmente, pero cuando el usuario intenta cargarlos, el nombre no coincide con el cambio. Aquí hemos modificado manualmente el nombre para que se muestre correctamente, sin embargo, la descarga no coincide.

Esto ocurre cuando el archivo se cargó anteriormente con un nombre diferente.