Option zum Beibehalten der Dateierweiterungen im Dateinamen

Standardmäßig WP File Download für jede hochgeladene Datei einen Titel ohne Dateiendung. Wenn ich beispielsweise „Myfile.zip“ hochlade, lautet der Dateiname im Backend „Myfile“ (ohne „.zip“). Wenn Dateien also auf der Website eingefügt werden (in meinem Fall in einem Produkt-Tab in WooCommerce), erscheinen sie mit ihrem Titel und nicht mit ihrem Dateinamen. Selbst mit dem zugehörigen Dateisymbol daneben entsteht Verwirrung darüber, ob es sich um eine herunterzuladende Datei oder einen Link zu einer anderen Seite handelt. In meinem Fall wäre es viel sinnvoller, wenn Dateiname und Titel übereinstimmen würden.

Man könnte einwenden, warum man die Dateiendung nicht manuell hinzufügt. Das kann ich tun (den Titel „Myfile“ in „Myfile.zip“ ändern), und die Datei wird im Backend und Frontend wie gewünscht angezeigt. Nach dem Download wird sie jedoch als „Myfile.zip.zip“ heruntergeladen.

Idealerweise würde eine weitere praktische Option wie „Dateiendung im Titel beibehalten“ enorm helfen.