in Windows ist : ein für Dateinamen unzulässiges Zeichen… man kann solche Dateien schlicht nicht speichern (Doppelzeichen diesnt als “Kennzeichnung” für Laufwerke)…
hier eine längere Diskussion dazu
auch wenn ich auch der Meinung bin dass das System das “von allein” handeln sollte habe ich gerade keine Referenz dazu.