Hallo dapelza,
für den Fall des VLC Player kann man die Zuordnung der Dateitypen auch im Player selbst anpassen.
Gehe dazu im VLC Player unter Extras/Einstellungen auf Zuordnungseinstellungen.
Dort kann dann der Dateityp dem VLC Player zugeordnet werden.
[ Für Gäste keine Dateianhänge sichtbar]
Gruß Frank