重複したファイル名が、別の名前で再度アップロードされた際に変更されました

[Robert_Fay]

これを見た人はいますか？ファイルをアップロードすると、ファイル名が変更されてしまうようです。例を挙げます。
ファイル名: i2c_master_v1_0.vhd

しかし、アップロードされると以下のように表示されます。

最近、いくつかのファイルでこの現象に気づきました。
手動で名前を変更することはできますが、ユーザーがファイルをアップロードすると、名前が変更後のものと一致しなくなります。ここでは、表示が正しくなるように手動で名前を変更しましたが、ダウンロード時の名前が一致していません。

[supermathie (Michael Brown)]

これは、ファイルが以前に異なる名前でアップロードされた場合に発生します。