Interactive deletion (to trash) now fully works for single files