@geertvb Even with Opera closed you can't delete the file?