So I just downloaded a big file from Opera but then deleted it from the downloads menu in the browser, thinking it would just delete the download history of the file but the file itself seems to be deleted as well. I checked all of download folders, the recycle bin of both the gallery app and the files app but couldn't find it. Is there a way to recover this file or do i have to just download it again?