Aber nur bis zum nächsten Neustart. Gerade wieder darüber gestolpert. Wollte gerade die vermeintlich Datei löschen. Dann stellte ich fest,.. war ein Ordner-Alias, welches ich bewusst angelegt hatte.