Ja, das ist mit Namen wie "78zihuoih08zjk.package" wirklich schwierig, aber das geht auch viel einfacher: wenn ich einen Download nichtmehr will, schau ich, woher er kommt und lade ihn nochmal runter. Dann hab ich den exakten Namen und kann die Datei im Ordner suchen und löschen.