Are deleted files permanently deleted?